- #1
Firepanda
- 430
- 0
[LOGIC] Prove: (x ≤ y) → (x+z ≤ y+z)
I need to prove if x≤y then x+z ≤ y+z (for all x, y and z)
Using these axioms (The first 17 are Tarski Arithmetic, and the following 7 are previously proved results)
All I can think of so far is using Axiom TA16, but then what?
Thanks
I need to prove if x≤y then x+z ≤ y+z (for all x, y and z)
Using these axioms (The first 17 are Tarski Arithmetic, and the following 7 are previously proved results)
All I can think of so far is using Axiom TA16, but then what?
Thanks
Last edited: