Seadus, mille järgi siis, kui konditsionaali eeldus ja järeldus räägivad üksteisele vastu, on konditsionaal väär

Seadus, mille järgi siis, kui konditsionaali eeldus ja järeldus räägivad üksteisele vastu, on konditsionaal väär 

Karmo Talts

 

Sõnastame järgmise seaduse: kui konditsionaali eeldus ja järeldus räägivad üksteisele vastu, siis on konditsionaal väär.

Vaatame nüüd, kuidas defineerida konditsionaali loogika jaoks, kus on selline seadus. Konditsionaal „kui P, siis Q“ on ekvivalentne disjunktsiooniga „pole nii, et P ja Q konjunktsioonist järeldub vasturääkivus ja on nii, et pole nii, et P või on nii, et Q".

Vaatame nüüd selle tähendust bikonditsionaali jaoks. Bikonditsionaal „P parajasti siis, kui Q“ ei ole tõene, kui P-st ja Q-st järeldub vasturääkivus.

Vaatame nüüd Tarski skeemi. Juhtudel, kui P-st ja väitest, et P on tõene, järeldub vasturääkivus, Tarski skeem ei kehti.