kontrapozícia
Text hesla
kontrapozícia [lat.] — protiklad, protikladné postavenie; log. kontrapozícia implikácie — implikácia, v ktorej antecedent i konzekvent sú negované a vzájomne zamenené. Kontrapozícia implikácie p ⇒ q sa zapisuje ¬q ⇒ ¬p. Napr. kontrapozíciou implikácie Ak je x kladné číslo, tak 2x je kladné číslo je implikácia Ak 2x nie je kladné číslo, tak x nie je kladné číslo. Obidva výroky sú logicky ekvivalentné (→ zákon kontrapozície).