kontrapositsiooni

Kontrapositsiooni on loogikareegel, mis võimaldab tuletada uue tõesena avalduse, mis on samaväärne algse avaldisega. See põhineb implikatsiooni "kui p, siis q" mõistel. Kontrapositsioon väidab, et kui "kui p, siis q" on tõene, siis ka "kui mitte q, siis mitte p" on tõene. Teisisõnu, kui originaalavaldis on tõene, siis selle kontrapositsioon on samuti tõene, ja vastupidi.

Näiteks, kui avaldis on "Kui sajab vihma, siis tänavad on märjad", siis selle kontrapositsioon on "Kui tänavad ei ole märjad, siis ei saja vihma". Mõlemad avaldised väljendavad sama mõtet erineva sõnastusega. Kui esimene on tõene, siis teine peab samuti olema tõene. Kontrapositsiooni kasutatakse sageli matemaatikas ja loogikas tõestusmeetodina, et lihtsustada keerulisi väiteid või näidata nende samaväärsust teiste väidetega. See meetod aitab vältida otsest tõestamist, tuletades tõestuse samaväärse, kuid lihtsamalt tõestatava avaldise kaudu.