Definition:Language of Propositional Logic/Alphabet/Sign/Connective

Definition
The signs of the language of propositional logic include the connectives:

These comprise:
 * The nullary connectives $\top$ and $\bot$, representing the canonical tautology and contradiction, respectively


 * The unary connective $\neg$, representing negation


 * The binary connectives $\land, \lor, \implies$ and $\iff$, representing, respectively, conjunction, disjunction, implication and biconditional.