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)].

Datum vytvoření: 14. 3. 2000
Datum aktualizace: 15. 11. 2007
Autor: -red-

Reklama: