Nuprl Definition : decidable
Dec(P) == P ∨ (¬P)
Definitions occuring in Statement :
not: ¬A,
or: P ∨ Q
Definitions occuring in definition :
or: P ∨ Q,
not: ¬A
FDL editor aliases :
decidable
Latex:
Dec(P) == P \mvee{} (\mneg{}P)
Date html generated:
2016_05_13-PM-03_08_52
Last ObjectModification:
2016_01_04-AM-10_26_01
Theory : core_2
Home
Index