Задачи. 1.При помощи построения семантического дерева прове-рить невыполнимость следующих множеств дизъюнктов

1.При помощи построения семантического дерева прове-рить невыполнимость следующих множеств дизъюнктов:

а) {P(x), ØP(а)}; б) {P, ØPÚ Q, ØQ}; в) {PÚRÚQ, ØQ, ØPÚQ, ØR, ØPÚR}; г) {P(x),Ø P(f(a))}; д) {S, ØPÚRÚØS, PÚØS, ØR,}; е) {P(x),ØP(x)Ú Q(x,a),Ø Q(y,a)}; ж) {P(x), Ø P(x)Ú Q(f(x))}; з) {Ø P(x)Ú Q(f(x),x), P(g(b)), Ø Q(y,z)}.