---

Step * 1 1 1 1 of Lemma aa_hw3-3a


1. P : @i'
2. P@i
 P  (P)
BY
{ (OrLeft THEN Auto) }



1.  P  :  \mBbbP{}@i'
2.  P@i
\mvdash{}  P  \mvee{}  (\mneg{}P)


By

(OrLeft  THEN  Auto)



Home Index