Vääruse tõestav konditsionaal ja konditsionaali tõesuse tarvilikud tingimused
Karmo Talts
Vaatame, mida see tähendab, kui konditsionaal "kui P, siis Q" tõestab vääruse. Siis pole nii, nagu see konditsionaal ütleb.
Vaatame nüüd selle tähendust konditsionaali tõestamise jaoks. Konditsionaali tõestamise üks tarvilik tingimus on, et tõestatavast konditsionaalist ei järeldu väärus.
Vaatame nüüd selle tingimusega modifitseeritud materiaalset konditsionaali. See on ekvivalentne väidete "väärus pole tõene" ja "pole nii, et P või on nii, et Q" konjunktsiooniga.
Vaatame nüüd selle tähendust disjunktsiooni jaoks. Disjunktsioon ei pruugi olla kooskõlaline.
No comments:
Post a Comment