---

Step * of Lemma not_over_or

∀[A,B:ℙ].  uiff(¬(A ∨ B);(¬A) ∧ (¬B))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[A,B:\mBbbP{}].    uiff(\mneg{}(A  \mvee{}  B);(\mneg{}A)  \mwedge{}  (\mneg{}B))


By

---

Latex:
Auto

---

Home Index