Indirekt bevis
Ett indirekt bevis[1] eller ett motsägelsebevis är ett sätt att bevisa ett påstående genom att visa att påståendets motsats leder till en självmotsägelse.
Om det påstående som ska härledas är <math>\ P</math>, antar man i ett indirekt bevis satsens negation, <math>\neg P</math>. Om detta antagande tillsammans med de givna förutsättningarna leder till en kontradiktion eller motsägelse, så kan man med den ovan nämnda slutledningsregeln dra slutsatsen att <math>\ P</math> är giltig.
Ett av de äldsta indirekta bevisen är härledningen av att <math>\sqrt 2</math> inte är ett rationellt tal. Negationen av den sats som ska bevisas är således att <math>\sqrt 2</math> är ett rationellt tal och är därmed det antagande som skall läggas till premisserna.
Vissa riktningar inom matematikfilosofin, till exempel intuitionismen, accepterar inte alla typer av indirekta bevis.