Step
*
of Lemma
DeMorgan1
[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) \mvee{} (\mneg{}Q)) {}\mRightarrow{} (\mneg{}(P \mwedge{} Q)))
By
RepeatFor 2 ((UD THENA Auto))
Home
Index