Page 152: equivalence of not-greater-than and less-than-or-equal-to
At the bottom of p. 152, the B and the A are reversed at the end of the stated equivalence in the less-than-or-equal-to relation. The equivalence should rather be written as:
¬(A > B) is equivalent to (A ≤ B)
Regards,
Wayne
|