Redigerer Reductio ad absurdum (avsnitt)

== Eksempler ==
# Vi ønsker å bevise utsagnet «det eksisterer ikke noen minste [[positive tall|positiv]] [[brøk]]». Vi bruker negasjonen av dette utsagnet som premiss og utleder en selvmotsigende konklusjon:
#* Premiss: «Det eksisterer en minste positiv brøk ''x''»
#* Konklusjon 1: «Tallet ''x'' er den minste positive brøken»
#* Definisjon: «Tallet ''y'' defineres som halvparten av ''x''»
#* Konklusjon 2: «Tallet ''y'' er en positiv brøk og mindre enn ''x''»
#* Konklusjon 2 strider mot konklusjon 1. Altså må premisset være usant, og vårt opprinnelige utsagn sant.
# Det klassiske eksempelet på en reductio ad absurdum er [[Euklid]]s bevis for at [[kvadratroten av 2]] er et [[irrasjonalt tall]] ([[kvadratroten av 2#Bevis for irrasjonalitet|se beviset her]]).