单项选择题 设GxyP（x，y）Q（z，w），下面三个命题为真的是（）。

单项选择题 C（B/A）表示在规则A->B中，证据A为真的作用下结论为真的是（）。

单项选择题 当前归结式是（）时，则定理得证。