Nuprl Definition : altneg
¬(A) == λn,s. (¬b(A n s))
Definitions occuring in Statement :
bnot: ¬bb,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
apply: f a,
bnot: ¬bb,
lambda: λx.A[x]
FDL editor aliases :
altneg
Latex:
\mneg{}(A) == \mlambda{}n,s. (\mneg{}\msubb{}(A n s))
Date html generated:
2019_06_20-PM-02_46_18
Last ObjectModification:
2019_06_06-PM-01_31_09
Theory : fan-theorem
Home
Index