Q16

MSQ1 mark

Geetha has a conjecture about integers, which is of the form

\forall x(P(x) \Longrightarrow \exists y Q(x, y)),

where $P$ is a statement about integers, and $Q$ is a statement about pairs of integers. Which of the following (one or more) option(s) would imply Geetha's conjecture?

(A)

$\exists x(P(x) \wedge \forall y Q(x, y))$

(B)

$\forall x \forall y Q(x, y)$

(C)

$\exists y \forall x(P(x) \Longrightarrow Q(x, y))$

(D)

$\exists x(P(x) \wedge \exists y Q(x, y))$

Loading…