以下语句到数学逻辑的正确翻译是什么? “每个走路的学生都在讲话”
(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)是正确的。
这个问题的测验