Zu einer Implikation α → β {\displaystyle {}\alpha \rightarrow \beta } heißt die Implikation ¬ β → ¬ α {\displaystyle {}\neg \beta \rightarrow \neg \alpha } die zugehörige Kontraposition.