Skip to content
Related Articles

Related Articles

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

sudo-gate-course

My Personal Notes arrow_drop_up
Recommended Articles
Page :