---

Step * 1 1 1 1 of Lemma logic1


1. [A] : 
2. [B] : 
3. A@i
4. B@i
 A
BY
{ NthHyp 3 }



1.  [A]  :  \mBbbP{}
2.  [B]  :  \mBbbP{}
3.  A@i
4.  B@i
\mvdash{}  A


By

NthHyp  3



Home Index