---

Step * 1 1 of Lemma logic3


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

1
.....antecedent..... 
1. [A] : 
2. [B] : 
3. [C] : 
4. B  C@i
5. A@i
 A

2
1. [A] : 
2. [B] : 
3. [C] : 
4. B  C@i
5. A@i
6. B@i
 C



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


By

D  4



Home Index