Step
*
of Lemma
logic9
[P:
].
((P
(
P))
(
P)
P)
BY
{
(UD
THENA
Auto)
}
1
1.
[P]
:
(P
(
P))
(
P)
P
\mforall{}[P:\mBbbP{}]. ((P \mvee{} (\mneg{}P)) {}\mRightarrow{} (\mneg{}\mneg{}P) {}\mRightarrow{} P)
By
(UD THENA Auto)
Home
Index
[P:
]. ((P 
(
P)) 
(P) P)
(P (P)) (P) P