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
[upraviť | upraviť zdroj]- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.