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