Logic
Constants
| Symbol | Notation | |
|---|---|---|
True |
\( \top \) \( \mathbf{T}\) |
|
False |
\( \bot \) \( \mathbf{F}\) |
|
Maybe |
\( \mathbf{?}\) |
Logical Operators
| Symbol | Notation | |
|---|---|---|
And |
\( p \land q\) | Conjunction |
Or |
\( p \lor q\) | Disjunction |
Not |
\( \lnot p\) | Negation |
Equivalent |
\( p \Leftrightarrow q\) | |
Implies |
\(p \implies q \) |