GATE | Sudo GATE 2020 Mock II (10 January 2019) | Question 22

Let C(x) denote “x is a cat”, R(x) denote “x is a rat” and P(x,y) denote “x chases y”.
Which of the following statements denotes “some cats chases all rats” ?
(A) ∃x[C(x)→ ∀y(R(y)→P(x,y)]
(B) ∃x[C(x)∧ ∀y(R(y)→P(x,y)]
(C) ∃x[C(x)∧ ∀y(R(y)∧P(x,y)]
(D) ∃x[C(x)∧ ∀y(R(x)→P(x,y)]


Answer: (B)

Explanation: There is something that is a cat and for any other thing, if that thing is a rat, then the cat chases it.

So it will be written as ∃x[C(x)∧ ∀y(R(y)→P(x,y)].

Option (B) is correct.

Quiz of this Question

My Personal Notes arrow_drop_up
Article Tags :

Be the First to upvote.


Please write to us at contribute@geeksforgeeks.org to report any issue with the above content.