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