📜  门| GATE CS 2010 |问题30

📅  最后修改于: 2021-07-02 15:06:56             🧑  作者: Mango

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