Contrapositive A contrapositive states that \(A\implies B\) has the same meaning as: $$ \neg B\implies\neg A $$