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

 $\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