📜  门|门CS 2010 |第 30 题

📅  最后修改于: 2021-09-26 04:11:08             🧑  作者: Mango

假设谓词 F(x, y, t) 用于表示人 x 可以在时间 t 愚弄人 y 的陈述。以下哪一项陈述最能表达公式∀x∃y∃t(¬F(x, y, t)) 的含义?
(A)每个人都可以在某个时候愚弄某个人
(B)没有人可以一直欺骗所有人
(C)每个人都不能一直愚弄某个人
(D)没有人可以在某个时候愚弄某个人答案:(乙)
解释: ∀ x ∃ y ∃ t(¬ F(x,y,t)) => ∀ x ¬(∀ y ∀ t F(x,y,t))
这个问题的测验