---

Step * of Lemma lec23

P:. ((P  P)  False)
BY
{ Auto }

1
1. P : @i'
2. P  (P)@i
3. P  P@i
 False


\mforall{}P:\mBbbP{}.  ((P  \mLeftarrow{}{}\mRightarrow{}  \mneg{}P)  {}\mRightarrow{}  False)


By

Auto



Home Index