Nuprl Definition : predicate-not
¬(A) == λx.(¬(A x))
Definitions occuring in Statement :
not: ¬A,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
not: ¬A,
apply: f a
FDL editor aliases :
predicate-not
Latex:
\mneg{}(A) == \mlambda{}x.(\mneg{}(A x))
Date html generated:
2016_05_14-PM-04_08_52
Last ObjectModification:
2015_09_22-PM-06_02_12
Theory : fan-theorem
Home
Index