Zunächst soll eine Einführung in die gebräuchlichsten logischen Operationszeichen erfolgen. Auch wenn ein Ziel der formalen Logik darin zu sehen ist, das Denken von den Mängeln der Umgangssprache zu befreien, werden hier dennoch für die Operationszeichen, die sog. Junktoren (lat. Aussagen), umgangssprachliche Interpretationen angegeben. Eine Übersicht der Junktoren gibt folgende Tabelle:
| Junktor | Funktion | Umgangssprachliche Interpretation |
| ¬ | Negation | nicht |
| ∧ | Konjunktion | und |
| ∨ | Disjunktion | oder |
| ⇒ | Implikation | wenn ..., dann ... |
| ⇔ | Äquivalenz | wenn ..., dann ... und nur dann |
| | | Sheffer-Strich | nicht beide |
| ↓ | Peirce-Funktion | weder, noch |