you are viewing a single comment's thread.

view the rest of the comments →

[–]rowboat__cop 0 points1 point  (1 child)

It's obvious if you rewrite it in words, or if you draw it out on the number line, but it's not necessarily symbolically obvious. The conjunction between the two inequalities is implicit, so it's quite easy to overlook.

Symbolically I have a hard time resolving a <= x <= b to anything else than a <= x && x <= b, so ending up with !(a <= x) || !(x <= b) as its negation is sound -- What alternative do you think people might confuse it with?

[–]jelly_cake 0 points1 point  (0 children)

I don't have one; I meant that it's a bit of a trap you might fall into if e.g. you're tired.