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.