Logical equivalence
Channel: Douglas Weathers
Date: 19/05/2020

NOTE: Before watching this video it is recommended you tour the list of basic equivalences at https://dweathers.github.io/174/book.html#inference-and-equivalence

When two statements are always true together or always false together, they are equivalent. In this video, we prove distribution using a truth table and the false conditional using known equivalences.

Meant to be watched before or after reading Chapter 2 of the open source textbook Elementary Discrete Mathematics (https://dweathers.github.io/174/book.html).