---

Step * 1 1 of Lemma logic1


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

1
1. [A] : 
2. [B] : 
3. A@i
 B  A



1.  [A]  :  \mBbbP{}
2.  [B]  :  \mBbbP{}
\mvdash{}  A  {}\mRightarrow{}  B  {}\mRightarrow{}  A


By

(D  0  THENA  Auto)\mcdot{}



Home Index