Skip to content
Related Articles

Related Articles

Improve Article
GATE | GATE-CS-2006 | Question 26
  • Last Updated : 03 Jul, 2014

Which one of the first order predicate calculus statements given below correctly express the following
English statement?

Tigers and lions attack if they are hungry or threatened. 

GATECS2006Q26
(A) A
(B) B
(C) C
(D) D


Answer: (D)

Explanation: The statement “Tigers and lions attack if they are hungry or threatened” means that if an animal is either tiger or lion, then if it is hungry or threatened, it will attack. So option (D) is correct.
Don’t get confused by “and” between tigers and lions in the statement. This “and” doesn’t mean that we will write “tiger(x) ∧ lion(x) “, because that would have meant that an animal is both tiger and lion, which is not what we want.

Source: www.cse.iitd.ac.in/~mittal/gate/gate_math_2006.html

Quiz of this Question

Attention reader! Don’t stop learning now. Learn all GATE CS concepts with Free Live Classes on our youtube channel.

My Personal Notes arrow_drop_up
Recommended Articles
Page :