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