Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:fol_with_update_expressions [2008/04/09 00:23] vkuncak |
sav08:fol_with_update_expressions [2012/04/23 09:53] vkuncak |
||
---|---|---|---|
Line 40: | Line 40: | ||
S1 = S0 Un {a} $\leftrightarrow$ ++| ALL x. S1(x) <-> S0(x) | x=a ++ | S1 = S0 Un {a} $\leftrightarrow$ ++| ALL x. S1(x) <-> S0(x) | x=a ++ | ||
+ | |||
+ | f = g ++| ALL x. f(x)=g(x) ++ | ||
=== Substituting Function Symbols === | === Substituting Function Symbols === |