Step * 1 1 1 2 of Lemma not-0-eq-1


1. 1 ∈ ℤ
2. 1
3. if 1=1 then False else True
⊢ False
BY
(Reduce -1 THEN Hypothesis) }


Latex:


Latex:

1.  0  =  1
2.  0  \msim{}  1
3.  if  1=1  then  False  else  True
\mvdash{}  False


By


Latex:
(Reduce  -1  THEN  Hypothesis)




Home Index