Definition:Language of Propositional Logic/Alphabet

Definition
The alphabet $\mathcal A$ of the language of propositional logic $\mathcal L_0$ is defined as follows:

