Pravdivosť výroku

Pravdivosť výroku je splniteľnosť v špeciálne vybudovanom metajazyku; podľa Alfreda Tarského je výrok X pravdivý vtedy a len vtedy, keď ho spĺňajú všetky predmety (pre kalkul tried -
triedy), a nepravdivý, keď nejestvujú predmety, ktoré by ho spĺňali.

Pozri aj 
 pravdivosť
 faktová pravdivosť
 logická pravdivosť
 dôkaz
 synchronicita
 Logika

Externé odkazy 
 

Matematika