Na tento príklad použiješ nepriamy dôkaz. Pri vytváraní obmenej implikácie je a potom ich negovať. Vznikne tak \( \neg B \Rightarrow \neg A \) (čítaj: „ak negácia výroku \( B \), tak negácia výroku A"). Novú získanú implikáciu dokážeš rovnakým spôsobom ako v príklade 1 pomocou priameho dôkazu.