Nuprl Definition : or
P ∨ Q == P + Q
Definitions occuring in Statement :
union: left + right
Definitions occuring in definition :
union: left + right
Rules referencing :
addMonotonic,
lessDiscrete,
barInduction,
bar_Induction,
strong_bar_Induction,
orLevelFunctionality,
orFunctionality
Latex:
P \mvee{} Q == P + Q
Date html generated:
2016_05_13-PM-03_04_12
Last ObjectModification:
2015_09_22-PM-01_26_55
Theory : core_1
Home
Index