NIELIT 2021 Dec Scientist A - Section B: 43

Question

Let the predicates $D(x,y)$ mean “team $x$ defeated team $y$” and $P(x,y)$ mean “team $x$ has played team $y$”. The quantified formula for the statement that there is a team that has beaten every team it has played is:

• A. $\exists x \forall y (P(x,y) \rightarrow D(x,y))$
• B. $ \forall x  \exists y (P(x,y) \rightarrow D(x,y))$
• C. $ \forall y  \exists x (P(x,y) \rightarrow D(x,y))$
• D. $\exists x \forall y (D(x,y) \rightarrow P(x,y))$

Answer 1

A is correct answer.