Jazyk výrokovej logiky

Jazyk výrokovej logiky je jazyk tvorený výrokovou premennou výrokovej logiky, logickou konštantou výrokovej logiky a zátvorkami, 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. jazyk klasickej výrokovej logiky.

Externé odkazy

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