Verzia z 03:37, 20. apríl 2007 upraviť Bronto (diskusia \| príspevky) 131 809 editací Nová stránka: '''Dôkaz sporom''' je dôkaz pomocou zákona ''reductio ad absurdum'', teda dôkaz podľa vzorca: ak platí "z A vyplýva B", potom ak vieme, že "z A vyplýva opak B", tak plat...		Verzia z 04:38, 20. apríl 2007 upraviť vrátiť Bronto (diskusia \| príspevky) 131 809 editací Bez shrnutí editace Ďalšia úprava →
Riadok 1: '''Dôkaz sporom''' alebo '''dôkaz per absurdum''' je dôkaz pomocou zákona ''[[reductio ad absurdum]]'', teda dôkaz podľa vzorca: ak platí "z A vyplýva B", potom ak vieme, že "z A vyplýva opak B", tak platí opak A. Inými slovami je dôkaz sporom toto: ak "z A vyplýva B" a zároveň "z A vyplýva opak B", tak platí opak A. Alebo slovne: Ak z nejakého predpokladu A vyplýva výrok B a súčasne jeho negácia, potom musí platiť negácia A.

Dôkaz sporom: Rozdiel medzi revíziami