---

Step * 1 of Lemma aa_hw3-3a


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

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



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


By

((Duplicate  (-1)  THEN  D  (-1))  THENA  Auto)



Home Index