In der klassischen Aussagenlogik wählt man die Schlussregeln so, dass sich mit ihrer Hilfe alle gültigen Argumente (und nur gültige Argumente) herleiten lassen; die Frage der Gültigkeit wird im folgenden Abschnitt, „Semantik“, behandelt.