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

## Definition

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

 $\ds \bullet \ \$ $\ds \land$ $:$ $\ds$the conjunction sign $\ds \bullet \ \$ $\ds \lor$ $:$ $\ds$the disjunction sign $\ds \bullet \ \$ $\ds \implies$ $:$ $\ds$the conditional sign $\ds \bullet \ \$ $\ds \iff$ $:$ $\ds$the biconditional sign $\ds \bullet \ \$ $\ds \neg$ $:$ $\ds$the negation sign $\ds \bullet \ \$ $\ds \top$ $:$ $\ds$the tautology sign $\ds \bullet \ \$ $\ds \bot$ $:$ $\ds$the contradiction sign

These comprise: