search

hwayne / learntla

A TLA+ guide
http://www.learntla.com
Creative Commons Attribution 4.0 International
278 stars 57 forks source link

Exercise after explanation of "=>" and "<=>" requires use of "<=" #69

Closed ajdavis closed 2 years ago

ajdavis commented 5 years ago

The exercise on https://learntla.com/tla/logic/ that follows the explanation of "=> and <=>" requires this answer:

Max(S) == CHOOSE x \in S : \A y \in S : y <= x

This is confusing, because the section has explained logic operators, but the exercise is about the mathematical comparison "<=" (less than or equal to).

hwayne commented 5 years ago

Ooof. I don't even know where that was supposed to be. Maybe one section up?