P
==
e.(
(P
e))
Definitions
:
lambda:
x.A[x]
,
not:
A
,
apply:
f
a
FDL editor aliases
:
es-not
\mneg{}P == \mlambda{}e.(\mneg{}(P e))
Date html generated: 2010_08_27-AM-09_29_48
Last ObjectModification: 2009_12_16-AM-01_05_29
Home
Index
P == 
e.((P e))x.A[x],
not: A,
apply: f a