Obsah
3 vzťahy: Jazyk, Jazyk výrokovej logiky, Logika.
Jazyk
Jazyk môže byť.
Pozrieť Jazyk logiky a Jazyk
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.
Pozrieť Jazyk logiky a Jazyk výrokovej logiky
Logika
Logika (z gr. slova λόγος logos) je veda zaoberajúca sa vyplývaním.
Pozrieť Jazyk logiky a Logika