**Topics Coverage Summary:** propositional logic, prepositional logic, argument forms, direct proof, proof by contradiction, induction, diagonalization, cardinality, basic number theory

**Number of Questions/Slides Available:** 100

**Materials Author:** Cynthia Lee, Stanford University; Shachar Lovett, University of California, San Diego

Discrete Mathematics Lecture Slides by Dr. Cynthia Bailey Lee is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported License.

Permissions beyond the scope of this license may be available at http://peerinstruction4cs.org.

Lecture02 – Propositional logic

Lecture06 – Equivalence proof by steps

Lecture07 – Quantifiers and paradoxes

Lecture09 – Proof by contraposition and proof by cases

Lecture10 – Proof by contradiction

Lecture19 – More induction examples

Lecture20 – Review Pf by Contradiction – Knaves

Lecture21 – Review Pf by Contradiction – Irrationals

Lecture22 – Finish Knaves and Fib