Formal ProofsProofs and the Real WorldPropositional Reasoning ExamplesProofs by ContradictionProofsFalse ProofsInductive ProofsMore Simple InductionTiling ProblemGeometryDouble InductionStrong InductionTournamentsInduction, Strong Induction, and Well-orderingStructural InductionInduction and Recursive Algorithms