---

Step * 1 of Lemma logic9


1. [P] : 
 (P  (P))  (P)  P
BY
{ RepeatFor 2 ((D 0 THENA Auto)) }

1
1. [P] : 
2. P  (P)@i
3. P@i
 P



1.  [P]  :  \mBbbP{}
\mvdash{}  (P  \mvee{}  (\mneg{}P))  {}\mRightarrow{}  (\mneg{}\mneg{}P)  {}\mRightarrow{}  P


By

RepeatFor  2  ((D  0  THENA  Auto))



Home Index