---

Step * 1 1 2 1 of Lemma logic3

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


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


By

NthHyp  5



Home Index