|
negation |
|
konjunktion |
|
disjunktion |
|
implikation |
|
ekvivalens |
|
indentitet |
|
existenskvantor |
|
universalkvantor |
| x, y, z,..., x1, x2,... | variabler |
| a, b, c,..., c1, c2... | konstanter |
| p, p1, p2,... | predikatsymboler |
| ( ) | parenteser |
| , | komma |
Alternativa symboler för x och x är Ex respektive (x).