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 than#y# (denoted#x < y# ) if#x  y = k# for some positive number#k# . 
#x# is greater than#y# (denoted#x > y# ) if#x  y = k# for some positive number#k# .
Claim: For
Proof:
As each step is reversible, this concludes the proof