# Definition:Language of Propositional Logic/Alphabet/Sign

## Definition

The signs of the language of propositional logic come in two categories:

### Brackets

 $\displaystyle \bullet \ \$ $\displaystyle ($ $:$ $\displaystyle$the left bracket sign $\displaystyle \bullet \ \$ $\displaystyle )$ $:$ $\displaystyle$the right bracket sign

### Connectives

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

These comprise: