以下陈述正确翻译成数理逻辑是什么? “每一个走路的学生都会说话”
(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)是正确的。
这个问题的测验