logical connective
logical connectives are operators that allow us to build molecular statements from atomic statements
basic connectives, in order of precedence
negation-$\lnot$, conjunction-$\land$, disjunction-$\lor$, material implication-$\rightarrow$, biconditional-$\leftrightarrow$