---

Step * 1 of Lemma logic5


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

1
1. [P] : 
2. P@i
 P



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


By

(D  0  THENA  Auto)



Home Index