大门|大门CS模拟2018 |问题22

下面这句话到数理逻辑的正确翻译是什么？“每个走路的学生都会说话”

(I) ∀x ((student(x) & walk (x)) → talk (x)))
(II) ∀x (student(x) → (walk (x) → talk (x)))
(III)  ¬ ∃x ((student(x) & walk (x)) & ¬(talk (x))))

（A） 仅（I） （B） 仅（II） （C） 仅（II）和（III） （D） 全部（I）、（II）和（III） 答复: （D） 说明： 所有这些都是“每一个走路的学生都会说话”这句话的正确且等价的一阶逻辑。 选项（D）是正确的。 这个问题的小测验