Nuprl Definition : dl-prop-deq

dl-prop-deq() ==  λa,b. dlo_eq(prop(a);prop(b))


Definitions occuring in Statement :  dlo_eq: dlo_eq(a;b),  dl-prop-obj: prop(x),  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  dlo_eq: dlo_eq(a;b),  dl-prop-obj: prop(x)
FDL editor aliases :  dl-prop-deq
Latex:
dl-prop-deq()  ==    \mlambda{}a,b.  dlo\_eq(prop(a);prop(b))


Date html generated: 2019_10_15-AM-11_43_04
Last ObjectModification: 2019_05_11-AM-11_24_10

Theory : dynamic!logic


Home Index