下面给出的一阶谓词演算语句中,哪一个正确表达了以下内容
英文声明?
Tigers and lions attack if they are hungry or threatened.
(一) A
(乙)乙
(C)丙
(四)丁答案: (D)
解释: “老虎狮子饿了或受威胁就攻击”这句话的意思是,如果一只动物是老虎或狮子,那么如果它饿了或受到威胁,它就会攻击。所以选项(D)是正确的。
不要被声明中老虎和狮子之间的“和”混淆。这个“和”并不意味着我们会写“tiger(x) ∧ lion(x)”,因为这意味着一个动物既是老虎又是狮子,这不是我们想要的。
资料来源:www.cse.iitd.ac.in/~mittal/gate/gate_math_2006.html
这个问题的测验