jazyk logiky
- jazyk, pomocou ktorého logika vyjadruje významové útvary logiky, napríklad jazyk výrokovej logiky.