kontrapozice

Logika, operace, při níž zaměníme v soudu (implikaci) antecedent a konsekvent (konverze) a nahradíme je jejich negacemi (inverze). Kontrapozice zachovává pravdivostní hodnotu původního výrazu, proto se někdy mluví o zákonu kontrapozice: „jestliže každé S je P, pak každé ne P je ne S“ [(a → b) → (¬ b → ¬ a)].