Mõned alternatiivid materiaalsele konditsionaalile klassikalise loogika tarvis
Karmo Talts
Vaatame, milliseid alternatiive materiaalsele konditsionaalile on võimalik kasutusele võtta klassikalises loogikas. Selleks, et vabaneda tühjadest tõdedest, võime me lugeda konditsionaali vääraks ka siis, kui konditsionaali eeldus on väär. Selline konditsionaal on ekvivalentne eelduse ja järelduse konjunktsiooniga.
Vaatame nüüd, mida on vaja selleks, et tagada, et siis, kui konditsionaali eeldus on tõene ja järeldus on väär, siis on konditsionaal väär. Kui konditsionaali järeldus on väär, siis ei saa olla nii, et konditsionaali eeldus ja järeldus on korraga tõesed. Seega võib kasutusele võtta konditsionaali, mis on tõene parajasti siis, kui selle järeldus on tõene.
Vaatame nüüd tühjasid tõdesid. Selline konditsionaal on tühjalt tõene ainult siis, kui eeldus on väär ja järeldus on tõene. Kui eeldus on väär ja järeldus on väär, siis on see konditsionaal väär.
No comments:
Post a Comment