Introduction to proof and discrete mathematics
Logical equivalence and De Morgan's laws
When two formulas are the same statement, the laws that rewrite one as the other, and why negating a bracket flips the connective inside it.
About 25 minutes6 activities Paper packet