---

Step * of Lemma or-quotient-true-subtype

∀P:ℙ. (⇃(P ∨ (¬P)) ⊆r (⇃(P) ∨ ⇃(¬P)))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}P:\mBbbP{}.  (\00D9(P  \mvee{}  (\mneg{}P))  \msubseteq{}r  (\00D9(P)  \mvee{}  \00D9(\mneg{}P)))


By

---

Latex:
Auto

---

Home Index