Indirekt bevis

Från Wikipedia
Hoppa till: navigering, sök

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 indirekta bevis.


Källor[redigera | redigera wikitext]

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

Se även[redigera | redigera wikitext]