Nuprl Definition : null
null(as) == if as is a pair then ff otherwise if as = Ax then tt otherwise ⊥
Definitions occuring in Statement :
bottom: ⊥,
bfalse: ff,
btrue: tt,
ispair: if z is a pair then a otherwise b,
isaxiom: if z = Ax then a otherwise b
Definitions occuring in definition :
ispair: if z is a pair then a otherwise b,
bfalse: ff,
isaxiom: if z = Ax then a otherwise b,
btrue: tt,
bottom: ⊥
FDL editor aliases :
null
Latex:
null(as) == if as is a pair then ff otherwise if as = Ax then tt otherwise \mbot{}
Date html generated:
2016_05_14-AM-06_30_22
Last ObjectModification:
2015_12_03-PM-02_05_10
Theory : list_0
Home
Index