Begriff
Logik
Warum wichtig?
Dieser Begriff ist ein Knoten im SengakujiWorks-Wissensnetz. Nutze Level 0 für die erste Einordnung, Level 1 für Praxis, Level 2 für technische Struktur und Level 3 für Grenzen, Fallstricke und Expertenkontext.
Logik ist die Lehre davon, wie Aussagen zusammenhängen und wann eine Schlussfolgerung gueltig ist. In der Informatik hilft sie, Regeln, Bedingungen und Beweise sauber zu formulieren. Wenn ein Programm fragt "wenn A und B gelten, dann tue C", steckt bereits Logik darin.
Merksatz: Logik prüft, ob aus klaren Aussagen verlässliche Folgerungen entstehen.
Im Alltag nutzt du Logik bei Entscheidungen: Wenn der Akku leer ist, brauchst du Strom; wenn der Server nicht antwortet, prüfst du Netzwerk, Dienst und Logs. In Software wird daraus Code mit Bedingungen, Tests und Validierungen. Auch Datenbanken, Suchfilter und Automatisierungen brauchen logische Regeln.
Formale Logik unterscheidet Aussagenlogik, Praedikatenlogik und spezialisierte Logiken wie temporale Logik. Aussagenlogik arbeitet mit wahr/falsch und Operatoren wie UND, ODER und NICHT. Praedikatenlogik kann über Objekte und Eigenschaften sprechen, etwa "alle Nutzer mit Rolle Admin dürfen diese Aktion ausführen".
Logik ist nur so gut wie die Annahmen. Wenn eine Regel unvollstaendig ist, kann die Schlussfolgerung formal korrekt und praktisch falsch sein. In echten Systemen kommen Unsicherheit, Zeit, Nebenwirkungen und fehlende Daten dazu. Deshalb werden logische Modelle oft mit Tests, Monitoring und menschlicher Bewertung kombiniert.
Quick-Check
Warum ist Logik für Programme wichtig?
Weil Programme Bedingungen, Regeln und Entscheidungen auswerten müssen. Ohne klare Logik wären Tests, Berechtigungen und Validierungen unzuverlaessig.Was ist eine typische Falle?
Eine Regel kann formal stimmen, aber auf falschen Annahmen beruhen. Dann ist das Ergebnis logisch konsistent, aber in der Praxis trotzdem falsch.Wo sieht man Logik im Alltagscode?
In if-Abfragen, Filterbedingungen, Berechtigungsregeln, Tests und Datenbankabfragen.