Inference and equivalence with quantifiers
Channel: Douglas Weathers
Date: 2020-05-22

Quantifiers give us a couple new rules of inference and a new look for a familiar equivalence.

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