---

Step * of Lemma logic5

[P:]. (P  (P))
BY
{ (UD THENA Auto) }

1
1. [P] : 
 P  (P)


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


By

(UD  THENA  Auto)



Home Index