A logical connective (also called logical operator) is a logical constant used to connect logical formulas.
The standard logical connectives of classical logic have rough equivalents in the grammars of natural languages. However, the meanings of natural language connectives are not precisely identical to their nearest equivalents in classical logic.
The following table shows the standard classically definable approximations for the English connectives.
English | Connective | Symbol | Logic gate |
---|---|---|---|
not | negation | ¬ | NOT |
and | conjunction | ∧ | AND |
or | disjunction | ∨ | OR |
if...then | material implication | → | IMPLY |
...if | converse implication | ← | |
if and only if | biconditional | ↔ | XNOR |
not both | alternative denial | ↑ | NAND |
neither...nor | joint denial | ↓ | NOR |
but not | material nonimplication | ↛ | NIMPLY |
A truth-functional approach to logical connectives is implemented as logic gates in digital circuits.