教资会网络 | UGC NET CS 2016 年 8 月 – III |问题 70
设 ν(x) 表示 x 是素食者,m(y) 表示 y 是肉,e(x, y) 表示 x 吃 y。基于这些,
考虑以下句子:
I. ∀x ν(x ) ⇔ (∀ye(x, y) ⇒ ¬m(y))
二、 ∀x ν(x ) ⇔ (¬(∃ym(y) ∧e(x, y)))
三、 ∀x (∃ym(y) ∧e(x, y)) ⇔ ¬ν(x)
可以确定
(A)只有 I 和 II 是等价的句子
(B)只有 II 和 III 是等价的句子。
(C)只有 I 和 III 是等价的句子。
(D) I、II 和 III 是等价的句子。答案: (D)
解释:
这个问题的测验
如果您在上面的帖子中发现任何错误,请在下方评论