4 Recognizing Induction Say which of the following statement is correct. The implicit domain of all quantifiers is N = {0, 1, 2, ). If you mark a statement as incorrect then state briefly what the problem is. 1. If p(0) and 'n>0 (p(n) p(n+1)) then yn p(n) 2. If p(1) and yn>0 (p(n-1) p(n)) then yn p(n) 3. If p(0) and Yoo (p(n-1) p(n)) then yn>3 p(n) 4. If p(0) and Vn>0 (p(n-1) p(n+1)) then yn p(2n) 5. If p(0) and Vnzo (-p(n) V p(n+1)) then Vn p(n)