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:ground_terms [2008/04/01 15:29] giuliano |
sav08:ground_terms [2008/04/01 15:55] giuliano |
||
---|---|---|---|
Line 46: | Line 46: | ||
**Example**\\ | **Example**\\ | ||
+ | ${\cal L}=\{a, f_1, P_1, R_2\}$ \\ | ||
+ | $GT=\{a, f(a), f(f(a)), f(f(f(a))), ...\}$\\ | ||
$HA=\{P(a), R(a,a), P(f(a)), R(a, f(a)), ...\}$\\ | $HA=\{P(a), R(a,a), P(f(a)), R(a, f(a)), ...\}$\\ | ||
$V=\{p_1, p_2, p_3, p_4, ...\}$\\ | $V=\{p_1, p_2, p_3, p_4, ...\}$\\ |