Logical connective
In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is an operator that combines or modifies one or more logical variables or formulas, similarly to how arithmetic connectives like + {\displaystyle +} and − {\displaystyle -} combine or negate arithmetic expressions. For instance, in the syntax of propositional logic, the binary connective ∨ {\displaystyle \lor } (meaning "or") can be used to join the two logical formulas P {\displaystyle P} and Q {\displaystyle Q} , producing the complex formula P ∨ Q {\displaystyle P\lor Q} .