Definition:Language of Propositional Logic/Alphabet

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

