SMS: Einführung in die Logik