Induction
Say which of the following statement is correct. The implicitdomain of all quantifiers is
N = {0, 1, 2, ...}. If you mark a statement as incorrect then statebriefly what the problem is.
1. If p(0) and ?n>0 (p(n) ? p(n+1)) then ?n p(n)
2. If p(1) and ?n>0 (p(n?1) ? p(n)) then ?n p(n)
3. If p(0) and ?n>0 (p(n?1) ? p(n)) then ?n>3 p(n)
4. If p(0) and ?n>0 (p(n?1) ? p(n+1)) then ?n p(2n)
5. If p(0) and ?n?0 (¬p(n) ? p(n+1)) then ?n p(n)
don't understand these questions.
