4 675
szerkesztés
Mozo (vitalap | szerkesztései) |
Mozo (vitalap | szerkesztései) |
||
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ó==
|