Open In App

GATE | GATE-CS-2006 | Question 26

Like Article
Like
Save
Share
Report

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)

B
 

(B)

A
 

(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. 

 


Quiz of this Question
Please comment below if you find anything wrong in the above post


Last Updated : 11 Oct, 2021
Like Article
Save Article
Previous
Next
Share your thoughts in the comments
Similar Reads