---

Step * 1 of Lemma logic2


1. [A] : 
2. [B] : 
3. [C] : 
 (A  B)  (A  B  C)  A  C
BY
{ RepeatFor 3 ((D 0 THENA Auto)) }

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



1.  [A]  :  \mBbbP{}
2.  [B]  :  \mBbbP{}
3.  [C]  :  \mBbbP{}
\mvdash{}  (A  {}\mRightarrow{}  B)  {}\mRightarrow{}  (A  {}\mRightarrow{}  B  {}\mRightarrow{}  C)  {}\mRightarrow{}  A  {}\mRightarrow{}  C


By

RepeatFor  3  ((D  0  THENA  Auto))



Home Index