Besonderhede van voorbeeld: 5813958613275348910

English

Main article: Contraposition Proof by contraposition infers the statement "if p then q" by establishing the logically equivalent contrapositive statement: "if not q then not p".

Swedish

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".