A logical connection between statements.
Connective | Description | Type | Notation |
---|---|---|---|
negation | not | unary | \(\lnot\) |
conjunction | and | binary | \(\land\) |
disjunction | or | binary | \(\lor\) |
conditional | if, then | binary | \(\implies\) |
biconditional | if and only if, then | binary | \(\iff\) |
exclusive disjunction | either, or | binary | \(\oplus\) |