Step
*
of Lemma
not_over_implies
∀[A,B:ℙ].  (¬(A 
⇒ B) 
⇐⇒ (¬¬A) ∧ (¬B))
BY
{ Auto }
Latex:
Latex:
\mforall{}[A,B:\mBbbP{}].    (\mneg{}(A  {}\mRightarrow{}  B)  \mLeftarrow{}{}\mRightarrow{}  (\mneg{}\mneg{}A)  \mwedge{}  (\mneg{}B))
By
Latex:
Auto
Home
Index