Tabulka pravdivostních hodnot všech zadaných dvojic vypadá například takto:
| A | B | A⇒B | B⇒A | ¬A | ¬B | ¬A⇒¬B | ¬B⇒¬A |
|---|---|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 0 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
| 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
Tedy dvojice (A⇒B) , (¬B⇒¬A) a dvojice (B⇒A) , (¬A⇒¬B) jsou zaměnitelné, ekvivalentní.
Pokud jste chybovali také v předchozích příkladech, doporučuji vám znovu prostudovat lekce o logických spojkách a znovu řešit úkoly. Určitě budete úspěšní.