Pravdivosť výroku

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

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ť kód]

Externé odkazy[upraviť | upraviť kód]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.