Lecture 9 (Discrete Math 2020)

The contrapositive of the implication "α implies β" is:

1. A.not α implies not β
2. B.β implies α
3. C.not β implies not α
4. D.α and not β imply a contradiction