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ť faktová
pravdivosť logická
[úprava] Pozri aj
druhy/príklady pravdivosti