---

Step * 1 1 of Lemma aa_hw3-3a


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

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



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


By

((OrRight  THENA  Auto)  THEN  (D  0  THENA  Auto))



Home Index