Introduction to proof and discrete mathematics
What a proof must do, and the direct one
The four moves of a direct proof, why every step has to name the definition or result it uses, and how the shape of a claim chooses the technique.
About 20 minutes6 activities Paper packet