Tema 8

1. Efectuai urmtoarele substituii:

(a) x{xz+2} ,
(b) (x + y){xz+2,yx+y} ,
(c) (xy){xz+2} ,
(d) (P (x, y) (xyz((P (y, z)Q(x, y, z)) (R(x, z, y)P (x, z))))){x(y+z),yxy}
2. Fie
= {x x + 5, y 2x + 3, z y + u},
= {x 3x + 3, z u + v, v x + 2y},
= {y x + v, u 3y, v 4z}.
Calculai , , (), ( ).
3. Rezolvai urmtoarele probleme de unificare:
(a) f (x, y) =? f (h(a), x),
(b) f (x, y) =? f (h(x), x),
(c) f (x, b) =? f (h(y), z),
(d) f (x, x) =? f (h(y), y),
unde f, h sunt simboluri de funcii (binar i respectiv unar), a, b sunt
constante, x, y, z sunt variabile.
4. Considerai limbajul care conine urmtoarele simboluri:
simboluri funcionale F: + binar, unar, binar.
simboluri de pedicate P: =,<, toate binare.
simboluri de constante C: 0, 1.
Dai interpretri ale acestui limbaj:
n universul numerelor naturale,
n universul polinoamelor cu o variabil peste numerele reale,
n universul mulimilor,
n universul irurilor de caractere.
Pentru fiecare interpretare, dai o asignare de variabile i evaluai nelesul
urmtoarelor expresii sub interpretarea i asignarea alese:
(x + (y)) z,
(x y + (z)) (z + 1) 0,
(x (y + z)) = (x y) + (x z).
5. Traducei urmtoarele expresii n sintaxa logicii predicatelor:
(a) Unele numere ntregi sunt mai mari dect 23,
1

(b) Un numr pozitiv nu este negativ,

(c) Adunnd dou numere impare, obinem un numr par (folosii doar
funcii pentru adunare i nmulire),
(d) Nici un ntreg nu este mai mare dect toate celelalte,
(e) Fiecare ntreg este mai mare dect un alt ntreg i mai mic dect un
altul.