Definition:Logical Language

From ProofWiki
Jump to: navigation, search

Definition

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


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


Examples