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