Proof of X≤Y inverse to X˃Y

[Thomas Okken]

(09-01-2018 08:40 AM)Gamo Wrote:  This is just a curiosity. Is this really work as show in these example?

No. If you repeat a conditional three times, all you're accomplishing is to waste two lines. Consider: if the condition is true, by the do-if-true / skip-if-false rule, the second of the three conditionals will also be true, and the third, and finally the instruction after the third conditional is executed. If the condition is false, the second conditional is skipped, the third is executed, and since the condition is still false, the function after the third conditional is skipped.

I'm not even going to try to pick apart that "example," since it seems designed to confuse, and I have a headache.