Tõeväärtuseta väited ja Tarski skeem
Karmo Talts
Vaatame tõeväärtuseta väidete ja Tarski skeemi suhet. Kui P on tõeväärtuseta, siis P pole tõene. Seega siis, kui P on tõeväärtuseta, pole väited "kui P, siis P on tõene" ja "kui P on tõene, siis P" mitte-tühjalt tõesed. Kui P on tõeväärtuseta, siis P pole väär. Seega siis, kui P on tõeväärtuseta, pole väited "kui P, siis P on tõene" ja "kui P on tõne, siis P" tühjalt tõesed. Seega tõeväärtuseta väidete puhul pole bikonditsionaal "P on tõene parjasti siis, kui P" tühjalt tõene ega mitte-tühjalt tõene. Seega tõeväärtuseta väidete puhul Tarski skeem ei kehti.
No comments:
Post a Comment