Shared quiz

A check on direct proof, proof by contrapositive, and proof by contradiction — including the worked examples n even → n² even, n² even → n even, and √2 irrational.