- 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