---

Step * of Lemma logic3

[A,B,C:].  ((A  B)  (B  C)  A  C)
BY
{ RepeatFor 3 ((UD THENA Auto)) }

1
1. [A] : 
2. [B] : 
3. [C] : 
 (A  B)  (B  C)  A  C


\mforall{}[A,B,C:\mBbbP{}].    ((A  {}\mRightarrow{}  B)  {}\mRightarrow{}  (B  {}\mRightarrow{}  C)  {}\mRightarrow{}  A  {}\mRightarrow{}  C)


By

RepeatFor  3  ((UD  THENA  Auto))



Home Index