Beweis Durch Kontraposition

Natural & Formal Sciences Dictionary
Eine Beweistechnik, die eine Implikation P ⇒ Q dadurch begründet, dass stattdessen ihre Kontraposition ¬Q ⇒ ¬P bewiesen wird; da Implikation und Kontraposition klassisch äquivalent sind, genügt der Beweis der letzteren zur Folgerung der ersteren.