问答题

【共用题干题】令个体域为谓词公式集合，定义其中的原子命题如下：P（x）：x是可以证明的，S（x）：x是可以满足的，H（x）：x是真的，试将下列各式翻译成自然语言：∃x（H（x）∧¬P（x））

答案：存在不可证明的永真的谓词公式。

你可能感兴趣的试题

【共用题干题】令个体域为谓词公式集合，定义其中的原子命题如下：P（x）：x是可以证明的，S（x）：x是可以满足的，H（x）：x是真的，试将下列各式翻译成自然语言：∀x（H（x）∧¬S（x））

答案：一个谓词公式要么是真的要么就是非可满足式。

【【共用题干题】】令个体域为谓词公式集合，定义其中的原子命题如下：P（x）：x是可以证明的，S（x）：x是可以满足的，H（x）：x是真的，试将下列各式翻译成自然语言：∃x（H（x）∧¬P（x））

答案：存在不可证明的永真的谓词公式。