Proof of X≤Y inverse to X˃Y

[Gamo]

To recap on this topic the main part of these two test difference is

1. X is less than or equal to Y
2. X is greater than Y

Example with equal integers on stacks X and Y will get result
with "less than or equal to" another is "greater than"

When stacks X and Y are both 100
[X≤Y] 100 ≤ 100 is True
[X˃Y] 100 ˃ 100 is False // This test will not use greater than or equal to

When doing the inverse logic in program next line will be False follow by True

01 Inverse Logic
02 False
03 True

I believe that it is sometime very handy to have this conditional test when needed.


Gamo