Kontraposition: Forskelle mellem versioner

 

Bevis ved '''kontraposition''' (eng. Proof by contraposition) er en bevisteknik der bruges ofte i [[matematik]] til at bevise en [[implikation]]. Bevisteknikken foregår således at man forudsætter at [[konklusion]]en i implikationen er falsk, og viser at det medfører at [[hypotese]]n er falsk. Ved at opstille en [[sandhedstabel]] for de to udsagn A ⇒ B og ~B ⇒ ~A, kan man se at disse udtryk er [[ækvivalent]]e.