2250 Lecture Notes - Genderqueer, Propositional Calculus, Mathematical Induction
Document Summary
The name notwithstanding, arguments by mathematical induction are not inductive arguments. An argument by mathematical induction presupposes 3 things: that you are able to line things up somehow. Supposing all these things are the case, you can use mathematical induction to prove that all the things you have lined up must have the property, even if there are infinitely many of them. If all the birds on the power line in front of a given bird fly off the line, that bird flies off the line as well. If all the cars in the lane in front of a given car crash, that car crashes too. If all the earlier dominos fell the next one fell, too. If all the birds from bird 1 to bird k few off the line, bird k+1 flew off the line as well. If all the cars from 1-k crashed, the k+1 car crashed too.