---

Step * 1 of Lemma not_over_and


1. A : ℙ
2. B : ℙ
3. Dec(A)
4. (¬A) ∨ (¬B)
⊢ ¬(A ∧ B)
BY
{ (BLemma `not_over_and_b` THEN Auto) }

---

Latex:

---

Latex:

1.  A  :  \mBbbP{}
2.  B  :  \mBbbP{}
3.  Dec(A)
4.  (\mneg{}A)  \mvee{}  (\mneg{}B)
\mvdash{}  \mneg{}(A  \mwedge{}  B)


By

---

Latex:
(BLemma  `not\_over\_and\_b`  THEN  Auto)

---

Home Index