Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:deciding_quantifier-free_fol [2008/04/23 06:49] vkuncak |
sav08:deciding_quantifier-free_fol [2009/05/05 22:49] vkuncak |
||
|---|---|---|---|
| Line 13: | Line 13: | ||
| is the following | is the following | ||
| \[ | \[ | ||
| - | (f(a)=b \lor (f(f(f(a))) = a \land f(a) \neq f(b))) \land f(f(f(f(a)) \neq b \land b=f(b) | + | (f(a)=b \lor (f(f(f(a))) = a \land f(a) = f(b))) \land f(f(f(f(a)) \neq b \land b=f(b) |
| \] | \] | ||