Nuprl Definition : es-not

¬P == λe.(¬(P e))

Definitions occuring in Statement : not: ¬A, apply: f a, lambda: λx.A[x]
FDL editor aliases : es-not es-not

Latex:
\mneg{}P == \mlambda{}e.(\mneg{}(P e)) Date html generated: 2016_05_16-AM-09_47_48 Last ObjectModification: 2013_03_25-PM-01_50_29 Theory : new!event-ordering Home Index