问答题
计算题设谓词逻辑的解释R如下：DR为全体实数，a′为0，f′（x，y）为x-y，Q′（x，y）为x
设谓词逻辑的解释R如下：DR为全体实数，a′为0，f′（x，y）为x-y，Q′（x，y）为xR中的实数。求满足或不满足公式（∀x）Q（f（x，a），x）→Q（x，y）的真值。
【参考答案】
点击查看答案
