---

Step * 1 1 2 1 1 of Lemma logic9

.....antecedent..... 
1. [P] : 
2. P@i
 P  False
BY
{ (Unfold `not` 2 THEN NthHyp 2) }


.....antecedent..... 
1.  [P]  :  \mBbbP{}
2.  \mneg{}P@i
\mvdash{}  P  {}\mRightarrow{}  False


By

(Unfold  `not`  2  THEN  NthHyp  2)



Home Index