U tohoto přikladu použiješ důkaz sporem. Ten spočívá v tom, že dokážeš neplatnost znegovaného výroku, který je zadaný. Nejdříve si větu přepíšeš do jazyka matematiků zapsanou pomocí implikace. Tu následně zneguješ a pomocí přímého důkazu dokážeš neplatnost výroku.