Intro to Proofs – Logical Equivalence

This is the intro video for a university course about Introduction to Mathematical Proofs.

Topics covered:
1. Logical Equivalence (definition and motivation).
2. Proof by truth table.
3. Definition of Contrapositive.

4. Show that two statements are not logically equivalent.

This was originally made for the University of Toronto Mississauga in Summer 2020, for MAT102.

All material for the course can be found at:https://mikepawliuk.ca/introduction-to-proofs/