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