---

Step * of Lemma boolean_as_01

b:. (if b then 0 else 1 fi  = 0  b)
BY
{ Auto }

1
1. b : @i
2. if b then 0 else 1 fi  = 0@i
 b


\mforall{}b:\mBbbB{}.  (if  b  then  0  else  1  fi    =  0  \mLeftarrow{}{}\mRightarrow{}  \muparrow{}b)


By

Auto



Home Index