Materiaalne konditsionaal ja vasturääkivus

Materiaalne konditsionaal ja vasturääkivus 

Karmo Talts

Vaatame materiaalse konditsionaali käitumist vasturääkivuse korral. Konditsionaal "kui P, siis Q" on ekvivalentne disjunktsiooniga "pole nii, et P või on nii, et Q". Vastruääkiva konjunktsiooni "on nii, et P ja pole nii, et P" lihtsustamisel saame me P eituse. P eitusest piisab, et teha disjunktsioon "pole nii, et P või on nii, et Q" ja sellega ekvivalentne konditsionaal tõeseks ilma, et peaks tingimata olema nii, et Q. 
Võtame selle tähtsuse kokku. Materiaalne konditsionaal ütleb, et kui puudub vasturääkivus ja on nii, et P, siis Q.