- #1
cannibal
- 14
- 0
[SOLVED] Proof Theory for all real numbers
If a and b are real numbers, we define max {a, b} to be the maximum of a and b or the common value if they are equal.
Prove that for all real numbers d, d1, d2, x, If d = max {d1, d2} and x ≥ d, then x ≥ d1 and x ≥ d2.
I do not know how to even start this problem, i have a small feeling that this exercise has something in relation with the "Logic and propositional calculus topic" but i have not find out were to link it. Any hint or good start will be appreciated.
Thanks
Homework Statement
If a and b are real numbers, we define max {a, b} to be the maximum of a and b or the common value if they are equal.
Prove that for all real numbers d, d1, d2, x, If d = max {d1, d2} and x ≥ d, then x ≥ d1 and x ≥ d2.
Homework Equations
The Attempt at a Solution
I do not know how to even start this problem, i have a small feeling that this exercise has something in relation with the "Logic and propositional calculus topic" but i have not find out were to link it. Any hint or good start will be appreciated.
Thanks