Nuprl Definition : dl-true

dl-true() ==  0 ⇒ 0


Definitions occuring in Statement :  dl-implies: x1 ⇒ x,  dl-false: 0
Definitions occuring in definition :  dl-implies: x1 ⇒ x,  dl-false: 0
FDL editor aliases :  dl-true
Latex:
dl-true()  ==    0  {}\mRightarrow{}  0


Date html generated: 2019_10_15-AM-11_45_39
Last ObjectModification: 2019_05_06-PM-04_40_59

Theory : dynamic!logic


Home Index