Least You Need to Know: Direct Proof and Contrapositive
Abrir lição
When a statement has the form **if P, then Q**, you need to choose a proof path that preserves logic instead of guessing from examples.