This lecture explores what a proof is. It defines proofs, propositions, logical deductions, and axioms and delves into predicate logic. It explores how to use and combine prepositions and how to use implications.

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