Die Kontraposition ist eine auf der Aussagenlogik beruhende Beweisidee.
Wenn zu Zeigen ist, "aus A folgt B" (), dann kann man auch die äquivalente Aussage "aus "nichtB" folgt "nichtA"" zeigen.
Formal: