Полнота метода резолюций

[constkir]

Вопрос элементарный. Как доказать общезначимость следующей формулы методом резолюций? $\exists x P(a,x) \rightarrow P(x,b)$ Я правильно понимаю, что никак? Тогда собственно и возникает вопрос о полноте метода.