Nuprl Definition : strict-fun-connected
y = f+(x) == (¬(x = y ∈ T)) ∧ y is f*(x)
Definitions occuring in Statement :
fun-connected: y is f*(x),
not: ¬A,
and: P ∧ Q,
equal: s = t ∈ T
Definitions occuring in definition :
and: P ∧ Q,
not: ¬A,
equal: s = t ∈ T,
fun-connected: y is f*(x)
FDL editor aliases :
strict-fun-connected
Latex:
y = f+(x) == (\mneg{}(x = y)) \mwedge{} y is f*(x)
Date html generated:
2016_05_15-PM-04_59_04
Last ObjectModification:
2015_09_23-AM-07_51_12
Theory : general
Home
Index