Nuprl Definition : dl-conj
dl-conj(L) == reduce(λx,y. (x ∧ y);dl-true();L)
Definitions occuring in Statement :
dl-true: dl-true(),
dl-and: x1 ∧ x,
reduce: reduce(f;k;as),
lambda: λx.A[x]
Definitions occuring in definition :
reduce: reduce(f;k;as),
lambda: λx.A[x],
dl-and: x1 ∧ x,
dl-true: dl-true()
FDL editor aliases :
dl-conj
Latex:
dl-conj(L) == reduce(\mlambda{}x,y. (x \mwedge{} y);dl-true();L)
Date html generated:
2019_10_15-AM-11_45_44
Last ObjectModification:
2019_05_06-PM-04_42_25
Theory : dynamic!logic
Home
Index