---

Step * 3 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.  \mneg{}0  <  s
6.  \mneg{}((r  +  s)  \mleq{}  (-(r)  +  -(s)))
\mvdash{}  (r  +  s)  \mleq{}  (-(r)  +  -(s))


By

---

Latex:
QConstraints\mcdot{}

---

Home Index