Konditsionaal, mille tõestamiseks on tarvis tõestada konditsionaali eelduse eituse ja järelduse disjunktsioon, ja Curry paradoks
Karmo Talts
Vaatame konditsionaali "kui P, siis Q" ja ekivalentse disjunktsiooni "pole nii, et P või on nii, et Q" tõestuslikku suhet. Selle konditsionaali tõestamisest piisab selle disjunktsiooni tõestamiseks ja vastupidi, aga neid pole üksteise tõestamiseks tarvis.
Vaatame nüüd kondistonaali, mille tõestamiseks on tarvis tõestada "pole nii, et P või on nii, et Q". Kuna Curry lause tõestamiseks on vaja tõestada, et Curry lause on väär või absurdsus on tõene, siis meil ei ole võimalik eeldusel, et me ei suuda tõestada Curry lause väärust, tõestada Curry lause tõesust.
No comments:
Post a Comment