Ještě obměněná implikace!
Obměněná implikace je obrácená implikace se znegovanými jednoduchými výroky. Například výrok „Jestliže bude pršet, pak nepůjdeme ven“ bude v obměněné implikaci vypadat takto: „Jestliže půjdeme ven, pak nebude pršet.” Prohodily se oba jednoduché výroky a znegovaly se (z kladu na zápor a naopak). Obměněná implikace má stejnou pravdivostní hodnotu jako její původní implikace. To znamená, že oba výroky vyjadřují totožnou věc, akorát každý jiným způsobem. Matematicky se tato implikace pro výroky a, b zapíše jako: „\neg b\Rightarrow\neg a”.