---

Step * of Lemma not_over_and

∀[A,B:ℙ].  (Dec(A) ⇒ (¬(A ∧ B) ⇐⇒ (¬A) ∨ (¬B)))
BY
{ Auto }

1
1. A : ℙ
2. B : ℙ
3. Dec(A)
4. (¬A) ∨ (¬B)
⊢ ¬(A ∧ B)

---

Latex:

---

Latex:
\mforall{}[A,B:\mBbbP{}].    (Dec(A)  {}\mRightarrow{}  (\mneg{}(A  \mwedge{}  B)  \mLeftarrow{}{}\mRightarrow{}  (\mneg{}A)  \mvee{}  (\mneg{}B)))


By

---

Latex:
Auto

---

Home Index