Over which domain D is it NOT possible to write a proof by induction of a statement of the form "for all $n$ in $D, P(n)$ " where $P(n)$ is a propositional function with domain $D$ ? The set of integers greater than 7 . The integers $\{0,1,-1,2,-2, \ldots\}$ The natural numbers $\{1,2,3, \ldots\}$ The non-negative integers $\{0,1,2, \ldots\}$ The set of integers greater than -1 .

I'm stuck on this question. Which domain can you not write a proof by induction. I'm leaning on my answer #2 because it has positive and negative integers in the same set.

Public Answer

HZFQGC The First Answerer