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
[upraviť | upraviť zdroj]Externé odkazy
[upraviť | upraviť zdroj]- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
|
Tento článok týkajúci sa matematiky je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |