z != f(x) ==> P[a; z] == (
x 
dom(f)) 
P[x; f(x)]
Definitions :
implies: P Q,
assert: b,
fpf-dom: x dom(f),
fpf-ap: f(x)
FDL editor aliases :
fpf-val
z != f(x) ==> P[a; z] == (\muparrow{}x \mmember{} dom(f)) {}\mRightarrow{} P[x; f(x)]
Date html generated:
2010_08_26-PM-11_45_09
Last ObjectModification:
2008_02_27-PM-09_37_58
Home
Index