Tarski skeemi variant väidete hulkade jaoks
Karmo Talts
Sõnastame Tarski skeemi versiooni väidete hulkade jaoks. Väidete hulk gamma on tõene parjasti siis, kui on nii, nagu kõik väited gammas ütlevad.
Vaatame nüüd igapäevaseid näited. Kõik mida Teet ütleb on tõene pajasti siis, kui on nii, nagu kõik väited Teedu öeldud väidete hulgas ütlevad.
No comments:
Post a Comment