---

Step * 1 of Lemma not-not-assert


1. b : 𝔹
2. ¬¬↑b
⊢ ↑b
BY
{ (SupposeNot THEN Auto) }

---

Latex:

---

Latex:

1.  b  :  \mBbbB{}
2.  \mneg{}\mneg{}\muparrow{}b
\mvdash{}  \muparrow{}b


By

---

Latex:
(SupposeNot  THEN  Auto)

---

Home Index