📜  门| GATE CS Mock 2018年|问题22

📅  最后修改于: 2021-06-30 01:49:24             🧑  作者: Mango

以下语句到数学逻辑的正确翻译是什么? “每个走路的学生都在讲话”

(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)是正确的。
这个问题的测验