GATE | GATE-CS-2006 |问题26

下面给出的一阶谓词演算语句中，哪一个正确地表达了以下内容 英语声明？

Tigers and lions attack if they are hungry or threatened. 

（A） A. （B） B （C） C （D） D 答复: （D） 说明： “老虎和狮子如果饥饿或受到威胁就会攻击”的说法意味着，如果动物是老虎或狮子，那么如果它饥饿或受到威胁，它就会攻击。因此，选项（D）是正确的。 不要对声明中老虎和狮子之间的“和”感到困惑。这“和”并不意味着我们要写“老虎（x）”∧ 狮子（x）”，因为这意味着动物既是老虎又是狮子，这不是我们想要的。

资料来源： www.cse。iitd。ac.in/~mittal/gate/gate_math_2006。html

这个问题的小测验