Definition:Logical Language

Definition
Let $\LL$ be a formal language used in symbolic logic.

Then $\LL$ is called a logical language.

Examples

 * Definition:Language of Propositional Logic
 * Definition:Language of Predicate Logic