---

Step * 1 of Lemma logic1


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

1
1. [A] : 
2. [B] : 
 A  B  A



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


By

(UD  THENA  Auto)



Home Index