Step * 1 of Lemma lec23


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

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

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



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


By

(Duplicate  3  THEN  (D  3  THENA  Auto))



Home Index