---

Step * 1 2 of Lemma lec23


1. P : @i'
2. P  (P)@i
3. P  P
4. P@i
 False
BY
{ (D 2 THEN Auto) }



1.  P  :  \mBbbP{}@i'
2.  P  {}\mRightarrow{}  (\mneg{}P)@i
3.  P  \mLeftarrow{}{}  \mneg{}P
4.  P@i
\mvdash{}  False


By

(D  2  THEN  Auto)



Home Index