Definition:Language of Propositional Logic/Alphabet

Definition
The alphabet $\AA$ of the language of propositional logic $\LL_0$ is defined as follows:

