0 %
Ještě zbývá důkaz sporem...
Důkaz sporem spočívá v tom, že se dokazuje nepravdivost negace původního výroku, tedy když máš výraz 5+3>1, budeš dokazovat, že neplatí nerovnost výrazu 5+3 \leq 1. Používá se proto, že někdy je jednodušší dokázat negaci původního výroku. Negace provedeš jako \neg(a \Rightarrow b)=a \wedge \neg b.
Občas je snazší dokázat, že něco neplatí, než že něco platí. Například „Všichni na světě mají rádi tlačenku.“ Kdyby se to mělo dokázat, muselo by se oslovit všech 7 miliard lidí a zeptat se jich, zda mají rádi tlačenku. Jednoduší je provést opak, tedy najít člověka, který tlačenku nemá rád. Když ho najdeš, je jasné, že původní výrok nemůže platit. A to stačilo obejít jen hrstku lidí oproti všem lidem na světě.