Logical connective
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\) |