Logical connective

Symbol connecting formulas in logic

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} . Unlike in algebra, there are many symbols in use for each logical connective.

From Wikipedia, under CC BY-SA. More on occurri.