Kontraposition

Unter Kontraposition (von lateinisch contra ‚gegen‘ und lat. positio ‚Position‘, ‚Stellung‘, ‚Lage‘) versteht man in der Logik den Umkehrschluss einer Implikation, d. h. den Schluss von „Wenn A, dann B“ auf „Wenn nicht B, dann nicht A“.

Tatsächlich ist die Aussage „Aus A folgt B“ sogar äquivalent zu ihrer Kontraposition „Aus nicht B folgt nicht A“.

Nicht aus „Aus A folgt B“ ergibt sich dagegen der Schluss „Aus B folgt A“ oder „Aus nicht A folgt nicht B“.