问答题
设谓词逻辑的解释R如下：DR为全体实数，a′为0，f′（x，y）为x-y，Q′（x，y）为xR中的实数。求满足或不满足公式Q（x，a）的真值。
问答题 谓词逻辑的解释N如下：DN为全体自然数，a′为0，f′（x，y）为x+y，g′（x，y）为xy，P′（x，y）为x=y，其中x和y为DN中的自然数。求满足或不满足公式（x）P（g（x，a），x）→P（x，y）的真值。
问答题 谓词逻辑的解释N如下：DN为全体自然数，a′为0，f′（x，y）为x+y，g′（x，y）为xy，P′（x，y）为x=y，其中x和y为DN中的自然数。求满足或不满足公式（x）P（g（x，y），z）的真值。
问答题 证明下列式子：(x)(f(x)∨G(x))，(x)（G(x)→R(x)),(x)R(x)=>(x)F(x)
