---

Step * of Lemma logic8

[P,Q:].  (((P  Q))  P  (Q))
BY
{ RepeatFor 2 ((UD THENA Auto)) }

1
1. [P] : 
2. [Q] : 
 ((P  Q))  P  (Q)


\mforall{}[P,Q:\mBbbP{}].    ((\mneg{}(P  {}\mRightarrow{}  Q))  {}\mRightarrow{}  P  {}\mRightarrow{}  (\mneg{}Q))


By

RepeatFor  2  ((UD  THENA  Auto))



Home Index