Question
Show that add n (Succ m) = Succ (add n m), by induction on n.
Step 1
Using the definition of addition, we have: add Zero (Succ m) = Succ m Succ (add Zero m) = Succ m Since both sides are equal, the base case holds. Inductive step: Assume that add n (Succ m) = Succ (add n m) holds for some arbitrary n. We need to show that add Show more…
Show all steps
Your feedback will help us improve your experience
Sirat Shah and 64 other educators are ready to help you.
Ask a new question
Labs
Want to see this concept in action?
Explore this concept interactively to see how it behaves as you change inputs.
Key Concepts
Recommended Videos
Use mathematical induction to prove that $$ \begin{array}{l} {a+(a+d)+(a+2 d)} \\ {\quad+\cdots+[a+(n-1) d]=n a+d \frac{n(n-1)}{2}} \end{array} $$
Sequences; Induction; the Binomial Theorem
Mathematical Induction
Transcript
Watch the video solution with this free unlock.
EMAIL
PASSWORD