---

Step * of Lemma non-uniform-triple-neg

∀A:ℙ. (¬¬¬A ⇐⇒ ¬A)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}A:\mBbbP{}.  (\mneg{}\mneg{}\mneg{}A  \mLeftarrow{}{}\mRightarrow{}  \mneg{}A)


By

---

Latex:
Auto

---

Home Index