Hur används ordet kontraposition

Kontraposition är en regel i klassisk logik med vilken en villkorssats kan skrivas om med en omkastning, kontraposition, och negering av för-och eftersats.

I ett transpositionsbevis bevisar man ett påstående på formen " om p så q" genom att använda kontraposition och bevisa det ekvivalenta påståendet " om icke-q så icke-p".

Regeln är relaterad till egenskapen kontraposition av den materiella implikationen, det vill säga att A → B är ekvivalent med ¬B → ¬A, vilken senare sats tillsammans med formula_2B och slutledningsregeln modus ponens ger formula_2A.