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 , antar man i ett indirekt bevis satsens negation, . 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 är giltig.

Ett av de äldsta indirekta bevisen är härledningen av att inte är ett rationellt tal. Negationen av den sats som ska bevisas är således att ä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.

Se även

Referenser

  1. ^ Uppslagsordet "indirekt bevis" i Filosofilexikonet (1988), Bokförlaget Forum AB, Uppsala 2004, ISBN 91-37-11151-5

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!