Pravdivosť výroku

Z Wikipédie

Pravdivosť výroku

pravdivosť výroku je splniteľnosť v špeciálne vybudovanom metajazyku; podľa 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.

[úprava] Externé odkazy

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

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.


[úprava] Pravdivosť - druhy/príklady

pravdivosť

pravdivosť faktová

pravdivosť logická


[úprava] Pozri aj

pravdivosť

dôkaz

druhy/príklady pravdivosti

synchronicita