---

Step * of Lemma rabs-ub

No Annotations
∀a:ℝ. ((r0 < a) ⇒ (∀x:ℝ. (a ≤ |x| ⇐⇒ (a ≤ x) ∨ (a ≤ -(x)))))
BY
{ Auto }

1
1. a : ℝ
2. r0 < a
3. x : ℝ
4. a ≤ |x|
⊢ (a ≤ x) ∨ (a ≤ -(x))

2
1. a : ℝ
2. r0 < a
3. x : ℝ
4. (a ≤ x) ∨ (a ≤ -(x))
⊢ a ≤ |x|

---

Latex:

---

Latex:
No  Annotations
\mforall{}a:\mBbbR{}.  ((r0  <  a)  {}\mRightarrow{}  (\mforall{}x:\mBbbR{}.  (a  \mleq{}  |x|  \mLeftarrow{}{}\mRightarrow{}  (a  \mleq{}  x)  \mvee{}  (a  \mleq{}  -(x)))))


By

---

Latex:
Auto

---

Home Index