Redakcija: 14:08, 19. november 2013 uredi Treisijs (pogovor \| prispevki) 7 urejanj Removed interwikis ← Starejše urejanje		Redakcija: 12:28, 8. januar 2014 uredi razveljavi XJaM (pogovor \| prispevki) Birokrati, Administratorji 123.627 urejanj m m/gt Novejše urejanje →
Vrstica 1: '''Dokàz s protislóvjem''' je vrsta [[logika\|logičnega]] argumenta, kjer za potrebe argumenta privzamemo neko [[predpostavka\|predpostavko]] ''T'' kot pravilno in s sklepanjem iz te [[trditev\|trditve]] in drugih že [[dokaz]]anih trditev in [[aksiom]]ov pridemo do [[protislovje\|protislovnega]] rezultata, iz česar lahko [[sklepanje\|sklepamo]], da je predpostavka ''T'' nujno logično napačna. Tej vrsti dokaza ~~pravimo~~rečemo tudi '''prevedba na protislovje''' - z [[latinščina\|latinsko]] tujko ''reductio ad absurdum'' v dobesednem prevodu »prevedba na absurd«; temu izrazu lahko sledimo do [[grščina\|grškega]] izraza ''ἡ εις το αδυνατον απαγωγη'', ki ga je pogosto uporabljal [[Aristotel]] in pomeni »prevedba na nemogoče«. Tovrstni dokaz uporablja [[zakon izključene tretje možnosti]]; stavek, ki ne more biti napačen, mora biti nujno pravilen. == Zgled == Vrstica 19: Edina predpostavka, ki smo jo naredili, je predpostavka ''T'', da je <math>\sqrt2</math> racionalno število, torej mora biti ta nujno napačna. S protislovjem smo torej pravkar dokazali, da je <math>\sqrt2</math> [[iracionalno število]]. == Glej tudi == * [[dokaz z neskončnim spustom]] (metoda neskončnega spusta) [[Kategorija:Logika]]

Dokaz s protislovjem: Razlika med redakcijama