Video Lectures

In this lecture, we'll talk about how to form the negation of both universal and existential statements. (lecture slides)

What happens when the antecedant of a universal conditional statement is always false? That's creates an unusual situation called a 'vacuous truth'. (lecture slides)

All of the things that we could do with conditional statements, e.g. converses and necessary vs. sufficient conditions, all translate to universal conditional statements in a very natural way. (lecture slides)