How do you proof that for a,binRR, a < b<=>b > a?
1 Answer
Dec 18, 2015
The result generally follows directly from the definition. How the proof is stated will depend on how the definition is phrased. For example let's work with the following definitions:
For
-
x is less thany (denotedx < y ) ifx - y = -k for some positive numberk . -
x is greater thany (denotedx > y ) ifx - y = k for some positive numberk .
Claim: For
Proof:
As each step is reversible, this concludes the proof