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 modtrid, hvor man derefter kan [[Konklusion|konkluderkonkludere]] at udsagnet må være sandt. Korrekheden af metoden kan vises ved at opstille en [[sandhedstabel]] for følgende to udsagn