Nuprl Definition : rel-immediate
R! == λx,y. ((R x y) ∧ (∀z:T. (¬((R x z) ∧ (R z y)))))
Definitions occuring in Statement :
all: ∀x:A. B[x],
not: ¬A,
and: P ∧ Q,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x],
all: ∀x:A. B[x],
not: ¬A,
and: P ∧ Q,
apply: f a
FDL editor aliases :
rel-immediate
Latex:
R! == \mlambda{}x,y. ((R x y) \mwedge{} (\mforall{}z:T. (\mneg{}((R x z) \mwedge{} (R z y)))))
Date html generated:
2016_05_15-PM-04_53_01
Last ObjectModification:
2015_09_23-AM-07_50_47
Theory : general
Home
Index