スレ違いかも知れないけど、他に人工知能のスレってなかったので
ここに・・・どなたか頭の体操だと思ってお馬鹿な私を助けて下さい。
述語論理の問題です。

問題．２つの節 ~p(X)，p(a) から空節（矛盾）を導出するとき，変数Xの値は何になるか.
注．「~」は否定を表す．

問題．節 p(a)，p(b)，q(a, c)，q(b, d)，r(d) が与えられたとき，これらの節と節 ~(p(X) AND q(X, Y) AND r(Y))
から空節を導出して，変数XとYの値を求めよ．

お暇があったらよろしくお願いします。