0 %
Ešte obmenená implikácia!
Obmenená implikácia je obrátená implikácia jednoduchých výrokov, ktoré sú negované. Napríklad výrok „Ak bude pršať, tak nepôjdem von“ bude v obmenenej implikácii vyzerať takto: „Ak pôjdem von, tak nebude pršať." Prehodili sa obidva jednoduché výroky a znegovali sa (z kladu na zápor a naopak). Obmenená implikácia má rovnakú pravdivostnú hodnotu ako jej pôvodná implikácia. To znamená, že obidva výroky vyjadrujú totožnú vec, akurát každý iným spôsobom. Matematicky sa táto implikácia pre výroky \( A, B \) zapiše ako: „ \( \neg B \Rightarrow \neg A " \).