0 %
Ešte ostáva dôkaz sporom...
Dôkaz sporom spočíva v tom, že sa dokazuje nepravdivosť negácie pôvodného výroku, teda keď máš výraz \( 5+3>1 \), budeš dokazovať, že neplatí nerovnosť výrazu \( 5+3 \leq 1 \). Používa sa preto, že niekedy je jednoduchšie dokázať negáciu pôvodného výroku. Negáciu urobíš ako \( \neg(A \Rightarrow B)=A \wedge \neg B \).
Občas je ľahšie dokázať, že niečo neplatí, ako to, že niečo platí. Napríklad „Všetci na svete majú radi tlačenku“. Keby sa to malo dokázať, muselo by sa osloviť všetkých 7 miliárd ľudí a opýtať sa ich, či majú radi tlačenku. Jednoduchšie je urobiť opak, teda nájsť človeka, ktorý tlačenku nemá rád. Keď ho nájdeš, je jasné, že pôvodný výrok nemôže platiť. A to stačilo obísť len pár ľudí namiesto všetkých ľudí na svete.