---

Step * 1 1 1 of Lemma aa_hw3-3a


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

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



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


By

D  2



Home Index