---

Step * 1 1 of Lemma lec23

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


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


By

(D  0  THEN  Auto)



Home Index