- 14
- 0
[SOLVED] Proof Theory for all real numbers
1. 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.
2. Homework Equations
3. 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
1. 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.
2. Homework Equations
3. 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
