Introduction to proof and discrete mathematics
Proof by cases, and the single counterexample
Splitting a claim on parity, sign or remainder, checking that the split leaves nothing out, and refuting a universal claim with one exhibited object.
About 20 minutes6 activities Paper packet