v zbierke je taky jeden priklad kde to je popisane:
2.12 V jazyku s P = {P, Q, =}, F = {f, g} a K = {a, b}, pričom Q, f
sú binárne a P, g unárne pre nasledujúce slová určte, či sa jedná o term,
alebo formulu predikátovej logiky, alebo to nie je ani term ani formula:
a) f (x, g(a)) · g(f (g(y), a))
b) f (a, x) · y = Q(z, b)
c) (∃x)Q(x, a) ⇒ y = z · a
d) (∀x)(x ∧ y ∨ z)
e) f (b, x) · g(f (a, y))
f) (∃y)[Q(a, P (y)) ∨ ¬(x = y)
g) g(a) · f (y, b) = z
h) f (g(x), f (y, a), y))
riesenie:
a) term; lebo mas tam len tie funkcne symboly , plus sedi arita
b) nie je term ani formula; lebo rovna sa je predikatovy symbol a aj Q je predikatovy symbol a nemoze byt v pred. symbole pred. symbol.
c) formula; lebo je tam pred. symbol a v nom su termy
d) nie je term ani formula;
e) term;
f) nie je term ani formula; lebo v Qcku je Pecko
g) formula; lebo je tam pred. symbol rovna sa
h) nie je term ani formula. ; lebo nesedi arita efka