Логика предикатов

Найти подстановку, при которой заданное множество дизъюнктов
Q(x,f(x))∨P(x)
Q(x,f(x))∨R(y)∨P(x)
~P(x)
~Q(g(a),y)
становится невыполнимым.
Форма ответа: {переменная1=терм1, ... переменнаяN=термN}, например, {x=a, y=f(z)}
Найти подстановку, при которой заданное множество дизъюнктов
P(x)∨Q(x,f(x))
Q(x,f(x))∨R(y)
~P(x)
~Q(g(a),y)
становится невыполнимым.
Форма ответа: {переменная1=терм1, ... переменнаяN=термN}, например, {x=a, y=f(z)}
Найти подстановку, при которой заданное множество дизъюнктов
P(y)∨R(x)
P(x)∨Q(x,f(x))
~Q(g(a),y)
~P(x)
становится невыполнимым.
Форма ответа: {переменная1=терм1, ... переменнаяN=термN}, например, {x=a, y=f(z)}