Single Idea 13691

[catalogued under 5. Theory of Logic / H. Proof Systems / 3. Proof from Assumptions]

Full Idea

A proof by induction starts with a 'base case', usually that an atomic formula has some property. It then assumes an 'inductive hypothesis', that the property is true up to a certain case. The 'inductive step' then says it will be true for the next case.

Gist of Idea

Induction has a 'base case', then an 'inductive hypothesis', and then the 'inductive step'

Source

Theodore Sider (Logic for Philosophy [2010], 2.7)

Book Reference

Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.53


A Reaction

[compressed]