Nuprl Definition : fpf-val
z != f(x) ==> P[a; z] == (↑x ∈ dom(f)) ⇒ P[x; f(x)]
Definitions occuring in Statement :
fpf-ap: f(x),
fpf-dom: x ∈ dom(f),
assert: ↑b,
implies: P ⇒ Q
FDL editor aliases :
fpf-val
Latex:
z != f(x) ==> P[a; z] == (\muparrow{}x \mmember{} dom(f)) {}\mRightarrow{} P[x; f(x)]
Date html generated:
2016_05_16-AM-11_06_04
Last ObjectModification:
2012_02_25-AM-11_06_43
Theory : event-ordering
Home
Index