问答题
证明下列式子：（∃x）F（x）→（∀y）（（F（y）∨G（y））→R（y）），（∃x）F（x）=>（∃x）R（x）
问答题 设谓词逻辑的解释R如下：DR为全体实数，a′为0，f′（x，y）为x-y，Q′（x，y）为xR中的实数。求满足或不满足公式（x）Q（f（x，a），x）→Q（x，y）的真值。
问答题 设谓词逻辑的解释R如下：DR为全体实数，a′为0，f′（x，y）为x-y，Q′（x，y）为xR中的实数。求满足或不满足公式（x）Q（f（x，y），z）的真值。
问答题 设谓词逻辑的解释R如下：DR为全体实数，a′为0，f′（x，y）为x-y，Q′（x，y）为xR中的实数。求满足或不满足公式Q（x，f（x，f（x，y）））的真值。
