Aussagenlogik – Logisch denken, verstehen und anwenden

„Zutritt hat, wer eine gültige Karte und die richtige PIN hat, oder wer den Notschlüssel benutzt.“ Wer darf jetzt hinein? In diesem Kurs lernst du, solche Regeln so genau zu fassen, dass es darauf nur eine Antwort gibt. Du lernst keine Formeln auswendig. Du lernst ein Verfahren, das immer funktioniert: erst alle Fälle aufstellen, dann urteilen. Das Werkzeug dafür ist die Wahrheitstabelle.

Grundlagen der Aussagenlogik klärt, was eine Aussage ist, und führt NICHT, UND und ODER ein. Operatoren und Wahrheitstabellen macht aus den einzelnen Fällen ein Verfahren und nimmt die Verknüpfungen dazu, bei denen die Alltagssprache täuscht: Entweder-oder, Wenn-dann und Genau-dann-wenn. Komplexe logische Ausdrücke zeigt, wie du Ausdrücke mit Klammern Schritt für Schritt auswertest, gleichwertige Formen erkennst und Regeln findest, die immer oder nie gelten. Aussagenlogik anwenden überträgt das auf Bedingungen in Programmen, auf Logikgatter und auf die Prüfung eines Berechtigungssystems.

Im Kursmaterial liegen ein Spickzettel „Aussagenlogik auf einen Blick“, Wahrheitstabellen zum Ausfüllen, das Regelheft und ein Übungsheft mit Lösungen.

Nicht im Kurs: Normalformen, NAND und NOR als eigene Bausteine, Prädikatenlogik. Peritio prüft, ob du Ausdrücke auswertest, Regeln erkennst und Fehler findest. Das saubere Aufschreiben einer Wahrheitstabelle übst du im Übungsheft auf Papier.