Step
*
1
1
1
2
of Lemma
notnot_P_or_notP
1.
[P]
:
2.
(P
(
P))@i
3.
False
False
BY
{
NthHyp
3
}
Latex:
1. [P] : \mBbbP{}
2. \mneg{}(P \mvee{} (\mneg{}P))@i
3. False
\mvdash{} False
By
NthHyp 3
Home
Index