Nuprl Definition : not

¬A ==  A ⇒ False


Definitions occuring in Statement :  implies: P ⇒ Q,  false: False
Definitions occuring in definition :  implies: P ⇒ Q,  false: False
Rules referencing :  lessTrichotomy,  barInduction,  bar_Induction,  strong_bar_Induction,  freeFromAtomBase,  bottomDivergent
FDL editor aliases :  not
Latex:
\mneg{}A  ==    A  {}\mRightarrow{}  False


Date html generated: 2016_05_13-PM-03_04_16
Last ObjectModification: 2015_09_22-PM-05_43_40

Theory : core_1


Home Index