2Outline an inductive proof of the following claim All integ

2)Outline an inductive proof of the following claim:       

All integers greater than or equal to 17 are either binocerous numbers or scaly numbers.

Solution

Let us try to prove that all integers greater than or equal to 17 are neigher binocerous number nor scaly numbers. If we cannot prove it, then the said statement will be true by contraction.

Let us assume that all number belonging to R are either binocerous numbers or scaly numbers. Since set of all integers is a subset of R, therefore, the set of all integers must also be either binocerous or scaly. Which is contradicting our original assumption.

Therefore, all integers greater than or equal to 17 are either binocerous numbers or scaly numbers.