---

Step * of Lemma aa_hw3-3a

P:. ((P  (P)))
BY
{ (Auto THEN D 0 THEN Auto) }

1
1. P : @i'
2. (P  (P))@i
 False


\mforall{}P:\mBbbP{}.  (\mneg{}\mneg{}(P  \mvee{}  (\mneg{}P)))


By

(Auto  THEN  D  0  THEN  Auto)



Home Index