Step
*
1
of Lemma
DeMorgan1
1. [P] : 
2. [Q] : 
 ((
P) 
 (
Q)) 
 (
(P 
 Q))
BY
{ RepeatFor 2 ((D 0 THENA Auto)) }
1
1. [P] : 
2. [Q] : 
3. (
P) 
 (
Q)@i
4. P 
 Q@i
 False
1.  [P]  :  \mBbbP{}
2.  [Q]  :  \mBbbP{}
\mvdash{}  ((\mneg{}P)  \mvee{}  (\mneg{}Q))  {}\mRightarrow{}  (\mneg{}(P  \mwedge{}  Q))
By
RepeatFor  2  ((D  0  THENA  Auto))
Home
Index