Nuprl Lemma : logic9

[P:

]. ((P

(

P))

(

P)

P)

Proof

Error : references
\mforall{}[P:\mBbbP{}]. ((P \mvee{} (\mneg{}P)) {}\mRightarrow{} (\mneg{}\mneg{}P) {}\mRightarrow{} P) Date html generated: 2013_09_05-AM-11_13_00 Last ObjectModification: 2013_06_13-PM-03_56_49 Home Index