Skip to content
Related Articles

Related Articles

Improve Article

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

  • Last Updated : 06 Jan, 2020

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

Attention reader! Don’t stop learning now.  Practice GATE exam well before the actual exam with the subject-wise and overall quizzes available in GATE Test Series Course.

Learn all GATE CS concepts with Free Live Classes on our youtube channel.

My Personal Notes arrow_drop_up
Recommended Articles
Page :