---

Step * 1 of Lemma boolean_as_01


1. b : @i
2. if b then 0 else 1 fi  = 0@i
 b
BY
{ (SplitOnHypITE 2 THEN Auto) }



1.  b  :  \mBbbB{}@i
2.  if  b  then  0  else  1  fi    =  0@i
\mvdash{}  \muparrow{}b


By

(SplitOnHypITE  2  THEN  Auto)



Home Index