This lecture builds upon proof techniques of construction, instantiation, direct argument, contradiction, and induction. We then go over more proof by cases and strong induction.

Source: Erik Demaine, Mathematics for Computer Science (MIT: OpenCourseWare). Licensed under CC BY-NC-SA 4.0.