Jazyk výrokovej logiky
Z Wikipédie
Jazyk výrokovej logiky
jazyk výrokovej logiky je jazyk tvorený týmito zložkami:
a) výrokové premenné výrokovej logiky,
b) logické konštanty výrokovej logiky,
c) zátvorky, ktoré sa používajú podobne ako v matematike.
Pretože pri definícii jazyka nejakej výrokovej logiky sú vždy určujúcim faktorom iba logické spojky, chápe sa niekedy pod jazykom výrokovej logiky zoznam logických spojok, ktoré sa vyskytujú v jej formulách, napr. pod jazykom klasickej výrokovej logiky (89) možno rozumieť nasledujúcu množinu J
KVL
J = {~, >, &, v, đ}
KVL
.
Obsah |
[úprava] Externé odkazy
- FILIT Zdroj, z ktorého pôvodne čerpal tento článok
Tento článok z Filitu potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.
[úprava] Jazyk - druhy/príklady
jazyk formalizovaný
jazyk formálny
jazyk indický
jazyk južnoslovanský
jazyk kontextový
jazyk kultúrny
jazyk matematický
jazyk medzinárodný
jazyk mřtvy
jazyk národný
jazyk objektový
jazyk prirodzený
jazyk sinotibetský
jazyk štátny
jazyk tibetsko-barmský
jazyk umelý
jazyk úradný
jazyk východoslovanský
jazyk výrokovej logiky
jazyk západoslovanský
jazyky románske
jazyky satemové
jazyky slovanské
jazyky uralské
jazyky východoaustronézske
[úprava] Jazyk - entity jeho relevantného kontextu
jazyk - entity jeho relevantného kontextu
[úprava] Jazyk - názory naň
jazyk (Herder, J. G.)
jazyk (Jakobson, R.)
jazyk (Saussure, F. de)
jazyk (Šafárik, P. J.)
[úprava] Pozri aj
druhy/príklady jazyka
entity relevantného kontextu jazyka
funkcia jazyka
prostriedok jazykový
systém jazykový
univerzálie jazykové
vedomie jazykové
znak jazykový
jazyk - odkazy systematicky
[úprava] Jazyk - odkazy systematicky
systematicky
MPŠ jazyka
druhy/príklady jazyka
prostriedok jazykový
systém jazykový
univerzálie jazykové
vedomie jazykové
znak jazykový
GDDŠ jazyka
vývin jazyka
vznik jazyka
NESŠ jazyka
entity relevantného kontextu jazyka
funkcia jazyka
názory na jazyk