Nuprl Definition : band

p ∧b q ==  if p then q else ff fi 


Definitions occuring in Statement :  ifthenelse: if b then t else f fi ,  bfalse: ff
Definitions occuring in definition :  ifthenelse: if b then t else f fi ,  bfalse: ff
Latex:
p  \mwedge{}\msubb{}  q  ==    if  p  then  q  else  ff  fi 


Date html generated: 2016_05_13-PM-03_55_28
Last ObjectModification: 2015_09_22-PM-05_45_35

Theory : bool_1


Home Index