Definition:Logical Language
Jump to navigation
Jump to search
Definition
Let $\mathcal L$ be a formal language used in symbolic logic.
Then $\mathcal L$ is called a logical language.