Erfüllbarkeit
Erfüllbarkeit ist in der Logik und Mathematik ein metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen. Eine Aussage ist erfüllbar, wenn es eine Belegung (Interpretation, Bewertung) der Variablen gibt, für die der Wahrheitswert des gesamten Ausdrucks wahr ist.
Mathematik
In der Mathematik ist die Erfüllbarkeit vor allem von (Un-)Gleichungen und (Un-)Gleichungssystemen interessant. Die allgemeine Definition kann dann umformuliert werden zu: „Es gibt (mindestens) eine Lösung.“
Beispiele: In der Theorie der reellen Zahlen (also dem üblichen Zahlensystem) ist die Gleichung lösbar, also diese Aussage erfüllbar.
Das Gleichungssystem ist dagegen nicht lösbar, denn die einzige Lösung für wäre , aber diese Lösung erfüllt nicht . Diese Aussage ist also nicht erfüllbar.
Logik
Aussagenlogik
In der Aussagenlogik kann man Aussagen auf Grund ihrer Erfüllbarkeit klassifizieren, wobei die auftretenden Variablen als Aussagen Wahrheitswerte annehmen. Eine Aussageform heißt…
- erfüllbar, wenn mindestens eine Belegung der Variablen eine wahre Aussage erzeugt.
- eine Tautologie, wenn jede (!) Belegung der Variablen eine wahre Aussage erzeugt.
- eine Kontradiktion, wenn sie nicht erfüllbar ist. Die Negation einer Kontradiktion ist immer eine Tautologie. Das Gegenteil des Begriffs "Kontradiktion" ist jedoch nicht "Tautologie", sondern "Erfüllbarkeit".
- eine Kontingenz oder Neutralität, wenn sie weder eine Tautologie, noch eine Kontradiktion ist.
- falsifizierbar, wenn mindestens eine Belegung kein Modell darstellt, also eine falsche Aussage erzeugt.
Das Problem zu entscheiden, ob eine aussagenlogische Formel erfüllbar ist, nennt man das Erfüllbarkeitsproblem der Aussagenlogik. Dieses Problem ist unter anderem wichtig in der Komplexitätstheorie.
Beispiele
Eine (ansonsten nicht vorkommende) Aussagenvariable ist für sich erfüllbar, sogar eine Kontingenz. Es ist ja die Eigenschaft einer Aussagenvariablen, dass ihr Wahrheitswert entweder wahr oder falsch ist.
Die Aussage (sprich: oder nicht ) ist eine Tautologie, also auch erfüllbar, denn jede Belegung von mit wahr oder falsch liefert eine wahre Aussage. Folglich ist die Aussage (die Negierung des vorigen Beispiels) eine Kontradiktion, also nicht erfüllbar.
Prädikatenlogik
Analog zur Aussagenlogik wird der Begriff der Erfüllbarkeit auch in der Prädikatenlogik verwendet: Eine prädikatenlogische Formel ist erfüllbar, wenn es eine Interpretation der Prädikate und eine Belegung der Variablen gibt, für die die Formel den Wahrheitswert wahr annimmt (Erfüllbarkeitsäquivalenz).
Beispiele
- "für jedes x gilt: x ist x" ist eine Tautologie, da x immer mit sich selbst ident ist.
- "für jedes x existiert ein y, für das gilt: x ist ungleich y" ist eine Kontingenz, da sie nur erfüllbar ist, wenn es in der Menge der Objekte, aus der x und y gewählt werden, mehr als ein Objekt gibt.
- "für jedes x gilt: x ist nicht gleich x" ist eine Kontradiktion, die Aussage ist für jedes Objekt falsch.
Siehe auch
- Modelltheorie
- Unverträglichkeit
- Resolution
- Berechenbarkeit