Kontraposition

Från Rilpedia

Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

Kontraposition är en egenskap hos implikationssbegreppet i den klassiska logiken, att A → B är ekvivalent med ¬B → ¬A:


A B A → B ¬B → ¬A
s s s s
s f f f
f s s s
f f s s

I det naturliga språket har regeln tillämpbarhet i vissa kontexter, till exempel två-värda, medan den fallerar i andra. Särskilt vid tillämpning i icke-två-värda kontexter skapar dess användning ofta paradoxer.

Kontraposition är nära förbunden med den logiska härledningsregeln modus tollens.

Personliga verktyg