Erfüllbarkeit
metasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen / aus Wikipedia, der freien encyclopedia
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.