Nuprl Definition : list_all
list_all(x.P[x];l) == reduce(λa,b. (P[a] ∧ b);True;l)
Definitions occuring in Statement :
reduce: reduce(f;k;as),
and: P ∧ Q,
true: True,
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
and: P ∧ Q,
true: True
FDL editor aliases :
list_all
Latex:
list\_all(x.P[x];l) == reduce(\mlambda{}a,b. (P[a] \mwedge{} b);True;l)
Date html generated:
2016_05_15-PM-01_54_44
Last ObjectModification:
2015_09_23-AM-07_37_24
Theory : list!
Home
Index