---

Step * of Lemma logic1

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

1
1. [A] : 
 [B:]. (A  B  A)


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


By

(UD  THENA  Auto)



Home Index