Lexikon der Mathematik: Erfüllbarkeit
Eigenschaft eines Ausdrucks aus einem logischen Kalkül.
Ein aussagenlogischer Ausdruck ϕ ist erfüllbar, wenn es eine Belegung der Aussagenvariablen mit Wahrheitswerten gibt, so daß ϕ bei dieser Belegung wahr wird.
Ein prädikatenlogischer Ausdruck ϕ(x1, …, xn) ist erfüllbar, wenn es eine algebraische Struktur \({\mathcal{A}}\) und Elemente a1, …, an in der Trägermenge der Struktur gibt, so daß
Schreiben Sie uns!