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}$. |