„Tarski-féle T-séma” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Mozo (vitalap | szerkesztései) |
Mozo (vitalap | szerkesztései) Nincs szerkesztési összefoglaló |
||
1. sor:
A Tarski-féle T-séma egy alapvető következménye a formális nyelvi (szimbolikus logikai) mondatatok Tarski-féle igazságdefiníciójának. Az igaz mondat definícióját Tarski a ''Az igazság fogalma a formális nyelvekben'' (1933) című tanulmányában közölte és ennek a cikknek a megjelenését tekintjük a modern modellelméleti szemantika megszületésének.
==Definíció==
|