In symbolic logic, a connective (negation, conjunction, disjunction, conditional, and
biconditional) is used to make new statements out of simpler ones.