Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:exercises_05 [2008/03/25 14:02] piskac |
sav08:exercises_05 [2008/03/25 14:02] (current) piskac |
||
---|---|---|---|
Line 28: | Line 28: | ||
* Semantic proof of drinker's paradox | * Semantic proof of drinker's paradox | ||
- | * Monotonicity of semantic consequence | + | |
- | * Sets of sentences with only finite and with only infinite models | + | |
- | * Herbrand universe | + | |
- | * Resolution proofs | + | |