Example 1

Wednesday, 20 March 2019

11:14 AM

For all integers

 

Let  be the predicate

 

Base Step

So  is true

 

Inductive Step

Let , supposing that  is true

 

To deduce that  is true…