Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:homework06 [2008/04/08 15:45] vkuncak |
sav08:homework06 [2008/04/08 15:50] vkuncak |
||
|---|---|---|---|
| Line 65: | Line 65: | ||
| ===== Problem 3 ===== | ===== Problem 3 ===== | ||
| - | (Recall [[Unification]].) | + | (Recall [[Substitutions for First-Order Logic]], [[Unification]].) |
| Let $V$ be an infinite set of variables. Let ${\cal L}$ be some first-order language. We will consider terms that contain variables from $V$ and function symbols from ${\cal L}$. | Let $V$ be an infinite set of variables. Let ${\cal L}$ be some first-order language. We will consider terms that contain variables from $V$ and function symbols from ${\cal L}$. | ||