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.
Not: Ordklasser och siffror hänvisar till synonymordboken överst. Exempelmeningarna kommer i huvudsak från svenska dagstidningar, tidskrifter, romaner, wikipedia och SVT.
