Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:finite_model_and_infinite_herbrand_model_example [2008/04/01 23:14] vkuncak |
sav08:finite_model_and_infinite_herbrand_model_example [2009/05/14 12:40] vkuncak |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| What are possible cardinalities for models? ++| they all have exactly two elements.++ | What are possible cardinalities for models? ++| they all have exactly two elements.++ | ||
| - | What is Herbrand model for this formula? ++++| | + | What are ground terms for this formula? ++++| |
| \[ | \[ | ||
| GT = \{ a, b, f(a), f(b), f(f(a)), f(f(b)), \ldots \} | GT = \{ a, b, f(a), f(b), f(f(a)), f(f(b)), \ldots \} | ||