Nuprl Definition : bnot
¬bb == if b then ff else tt fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
bfalse: ff,
btrue: tt
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
bfalse: ff,
btrue: tt
FDL editor aliases :
bnot
Latex:
\mneg{}\msubb{}b == if b then ff else tt fi
Date html generated:
2016_05_13-PM-03_20_19
Last ObjectModification:
2016_01_04-AM-10_27_23
Theory : union
Home
Index