Nuprl Definition : bor
p ∨bq == if p then tt else q fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi
,
btrue: tt
Definitions occuring in definition :
ifthenelse: if b then t else f fi
,
btrue: tt
Latex:
p \mvee{}\msubb{}q == if p then tt else q fi
Date html generated:
2016_05_13-PM-03_55_29
Last ObjectModification:
2015_09_22-PM-05_45_35
Theory : bool_1
Home
Index