Introduction to proof and discrete mathematics
Statements, connectives and truth tables
The five connectives, the one combination an implication forbids, and the table that settles any formula in two statements.
About 25 minutes6 activities Paper packet