Reductio ad absurdum (latin for «reduksjon til det absurde»).
Uttrykket kan sporast tilbake til gresk ἡ εις άτοπον απαγωγη (hi eis átopon apagogi), «reduksjon til det umogelege», vart ofte nytta av Aristoteles), òg kjend som eit apagogisk argument eller reductio ad impossibile, er ein type logisk argument der ein tenkjer seg ein påstand for argumenteringa si skuld som så medfører til eit absurd resultat, og så tenkjer ein seg at den opphavlege tanken må ha vore vore galen sidan han førte til dette absurde resultatet. Dette er òg kjend som indirekte bevis eller bevis ved kontradiksjon.
I formell logikk vert reductio ad absurdum brukt når ein formell kontradiksjon kan verte utleidd frå ein premiss og medføre at ein kan konkludere med at premissen er usann. Om ein kontradiksjon er utleidd frå eit sett med premissar, viser dette at minst éin premiss er usann, men at andre metodar må nyttast for å avgjere kva for ein.
Den følgjande samtalen er eit døme på reductio ad absurdum:
This article uses material from the Wikipedia Nynorsk article Reductio ad absurdum, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Teksten er tilgjengeleg under CC BY-SA 4.0 om ikkje anna er oppgjeve. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Nynorsk (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.