Propositionale Logik und Schritte des logischen Schließens