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 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

angličtina

arabčina

aramejčina

čínština

dBase

evenkovčina

francúzština

gréčtina

hauština

hebrejčina

hindustánčina

chorvátčina

japončina

jazyk filozofie

jazyk formalizovaný

jazyk formálny

jazyk indický

jazyk južnoslovanský

jazyk kontextový

jazyk kultúrny

jazyk logiky

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 vedy

jazyk východoslovanský

jazyk výrokovej logiky

jazyk západoslovanský

jazyky austronézske

jazyky indoeurópske

jazyky románske

jazyky satemové

jazyky slovanské

jazyky uralské

jazyky východoaustronézske

laoština

latinčina

maďarčina

metajazyk

nahuatl

pálí

prajazyk

prákrit

praslovančina

ruština

sanskrit

slovenčina

swahilčina

sýrčina

španielčina

taliančina

tibetčina


[úprava] Jazyk - entity jeho relevantného kontextu

jazyk - entity jeho relevantného kontextu

diskurz

komunikácia

myseľ

myslenie

reč

spoločnosť

vedomie

význam


[úprava] Jazyk - názory naň

jazyk


jazyk (antika)

jazyk (fenomenológia)

jazyk (filozofia analytická)

jazyk (filozofia antická)

jazyk (Herder, J. G.)

jazyk (Jakobson, R.)

jazyk (Saussure, F. de)

jazyk (Šafárik, P. J.)


[úprava] Pozri aj

jazyk

druhy/príklady jazyka

entity relevantného kontextu jazyka

filozofia jazyka

funkcia jazyka

jazykoveda

lingvistika


prostriedok jazykový

reč

rovina jazyka

slovo

systém jazykový

univerzálie jazykové

vedomie jazykové

veta

výraz

znak jazykový


jazyk - odkazy systematicky


[úprava] Jazyk - odkazy systematicky

systematicky

MPŠ jazyka

druhy/príklady jazyka

prostriedok jazykový

slovo

systém jazykový

univerzálie jazykové

vedomie jazykové

veta

výraz

znak jazykový

GDDŠ jazyka

vývin jazyka

vznik jazyka

NESŠ jazyka

entity relevantného kontextu jazyka

filozofia jazyka

funkcia jazyka

jazykoveda

názory na jazyk

reč