Nuprl Definition : stable

Stable{P} ==  P supposing ¬¬P


Definitions occuring in Statement :  uimplies: b supposing a,  not: ¬A
Definitions occuring in definition :  uimplies: b supposing a,  not: ¬A
FDL editor aliases :  stable
Latex:
Stable\{P\}  ==    P  supposing  \mneg{}\mneg{}P


Date html generated: 2016_05_13-PM-03_09_23
Last ObjectModification: 2016_01_04-AM-10_26_04

Theory : core_2


Home Index