Definition:Logical Language

Definition

Let $\mathcal L$ be a formal language used in symbolic logic.

Then $\mathcal L$ is called a logical language.

Examples

• Definition:Language of Propositional Logic
• Definition:Language of Predicate Logic