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)]
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.