Nuprl Definition : implies
P ⇒ Q == P ⟶ Q
Definitions occuring in Statement :
function: x:A ⟶ B[x]
Definitions occuring in definition :
function: x:A ⟶ B[x]
Rules referencing :
impliesFunctionality,
impliesLevelFunctionality
Latex:
P {}\mRightarrow{} Q == P {}\mrightarrow{} Q
Date html generated:
2016_05_13-PM-03_04_13
Last ObjectModification:
2015_09_22-PM-01_26_55
Theory : core_1
Home
Index