Week 9: Mathematical Induction (MetaLogic)

We start our introduction to metalogic by first learning about an important tool that we will make heavy use of: mathematical induction.  A very intuitive analogy of what mathematical induction is is presented here. One of the important things we assumed in the analogy is that the items we are reasoning over are in a series.  Mathematical induction won't work without this key assumption, so we show how our sentences of SL can form a series, which we do here.  We then go over, very briefly, an example of mathematical induction here.

Comments are closed.