Begriff
Prädikatenlogik
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.
Prädikatenlogik erweitert einfache wahr/falsch-Aussagen um Objekte, Eigenschaften und Quantoren. Damit kann man ausdrücken: "Alle Nutzer mit Admin-Rolle dürfen X" oder "Es gibt mindestens einen Server, der gesund ist".
Merksatz: Prädikatenlogik beschreibt Regeln über Dinge, Eigenschaften und Beziehungen.
Du begegnest Prädikatenlogik in Suchfiltern, Datenbankabfragen, Berechtigungen, Tests und Regelwerken. Ein Filter wie "alle offenen Tickets mit Priorität hoch" ist bereits eine einfache logische Aussage über Objekte.
Zentrale Bausteine sind Prädikate, Variablen, Quantoren wie "für alle" und "es existiert" sowie logische Operatoren. In Prolog, SMT-Solvern und formalen Spezifikationen werden solche Ausdrücke genutzt, um Wissen und Beweise maschinenlesbar zu machen.
Prädikatenlogik ist ausdrucksstark, aber nicht jede Frage bleibt effizient entscheidbar. Sobald Modelle groß werden oder Funktionen, Rekursion und Zeit dazukommen, steigen Komplexität und Tooling-Anforderungen. In der Praxis begrenzt man deshalb die Sprache oder nutzt spezialisierte Solver.
Quick-Check
Was ergänzt Prädikatenlogik gegenüber Aussagenlogik?
Objekte, Eigenschaften, Beziehungen und Quantoren wie "alle" oder "es gibt".Wo sieht man sie praktisch?
In Filtern, Regeln, Datenbankabfragen, Berechtigungen und formalen Spezifikationen.Warum ist sie anspruchsvoll?
Weil ausdrucksstarke Regeln schnell schwer oder teuer zu entscheiden werden können.