Definition:Language of Propositional Logic/Alphabet

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



Letters
Currently at /Letter

Currently at /Sign