Conventions of
In these notes, we will use the following symbols for the propositional calculus. Note some of these might not exist, depending on the logic used.
| Connective | Symbol |
|---|---|
| not | |
| tautology | |
| falsum |
We use square brackets