Nuprl Lemma : logic5

[P:

]. (P

(

P))

Proof

Definitions occuring in Statement : uall:

[x:A]. B[x], prop:

, not:

A, implies: P

Q
Definitions : implies: P

Q, member: t

T, not:

A, prop:

Lemmas : false_wf
\mforall{}[P:\mBbbP{}]. (P {}\mRightarrow{} (\mneg{}\mneg{}P)) Date html generated: 2013_09_05-AM-11_12_36 Last ObjectModification: 2013_06_03-AM-11_46_51 Home Index