Q5

MCQ1 mark, −0.33

Let $P(x)$ be an arbitrary predicate over the domain of natural numbers. Which ONE of the following statements is TRUE?

(A)

$\big (P(0) \wedge \big( \forall x [P(x) \Rightarrow P(x+1)] ) \big) \Rightarrow \forall x P(x) \big)$

(B)

$\big (P(0) \wedge \big( \forall x [P(x) \Rightarrow P(x-1)] ) \big) \Rightarrow \forall x P(x) \big)$

(C)

$\big (P(1000) \wedge \big( \forall x [P(x) \Rightarrow P(x-1)] ) \big) \Rightarrow \forall x P(x) \big)$

(D)

$\big (P(1000) \wedge \big( \forall x [P(x) \Rightarrow P(x+1)] ) \big) \Rightarrow \forall x P(x) \big)$

Loading…