Modstrid (matematik): Forskelle mellem versioner

Bevis ved '''modstrid''' der har det latinske navn ''reductio ad absurdum'', som betyder "reduktion til meningsløshed" er en bevis teknik der anvendes ofte i [[matematik]]ken. Metoden foregår således, at man antager det [[udsagn]], man vil vise, er falsk og på basis af det opnå en modstrid, hvor man derefter kan [[Konklusion|konkludere]], at udsagnet må være sandt. Korrekheden af metoden kan vises ved at opstille en [[sandhedstabel]] for følgende to udsagn

 

 

hvor både A og B begge er udsagn.

{| border="0" align="center"

! A

! (~A)

! (B

! ~B)

|-

|}

 

 

== Eksempel på et bevis ved modstrid ==