---

Step * 2 of Lemma q-triangle-inequality


1. r : ℚ
2. s : ℚ
3. 0 < r + s
4. ¬0 < r
5. 0 < s
6. ¬((r + s) ≤ (-(r) + s))
⊢ (r + s) ≤ (-(r) + s)
BY
{ QConstraints⋅ }

---

Latex:

---

Latex:

1.  r  :  \mBbbQ{}
2.  s  :  \mBbbQ{}
3.  0  <  r  +  s
4.  \mneg{}0  <  r
5.  0  <  s
6.  \mneg{}((r  +  s)  \mleq{}  (-(r)  +  s))
\mvdash{}  (r  +  s)  \mleq{}  (-(r)  +  s)


By

---

Latex:
QConstraints\mcdot{}

---

Home Index