Nuprl Definition : even-int-list
even-int-list(L) == null(L) ∨b((¬bnull(tl(L))) ∧b (hd(L) =z hd(tl(L))) ∧b even-int-list(tl(tl(L))))
Definitions occuring in Statement :
null: null(as),
tl: tl(l),
hd: hd(l),
bor: p ∨bq,
band: p ∧b q,
bnot: ¬bb,
eq_int: (i =z j)
Definitions occuring in definition :
bor: p ∨bq,
bnot: ¬bb,
null: null(as),
band: p ∧b q,
eq_int: (i =z j),
hd: hd(l),
tl: tl(l)
FDL editor aliases :
even-int-list
Latex:
even-int-list(L) == null(L) \mvee{}\msubb{}((\mneg{}\msubb{}null(tl(L))) \mwedge{}\msubb{} (hd(L) =\msubz{} hd(tl(L))) \mwedge{}\msubb{} even-int-list(tl(tl(L))))
Date html generated:
2019_06_20-PM-00_45_41
Last ObjectModification:
2019_04_08-PM-01_53_42
Theory : omega
Home
Index