Ø | negation, inte |
Ù | konjunktion, och |
Ú | disjunktion, eller |
® | implikation, om... så... (endast om) |
« | ekvivalens, om och endast om |
p, p1, p2,..., q, q1,... | atomära satser |
( ) | parenteser |
Med stora bokstäver (P, Q ...) syftas i denna manual på godtyckliga satser.