Erfüllbarkeit, Logik: eine Aussage ist erfüllbar, wenn es eine Interpretation (z.B. Einsetzen von Konstanten anstelle der Variablen) gibt, bei der die Aussage wahr ist. Bsp Tautologien sind immer erfüllbar, Kontradiktionen sind niemals erfüllbar. Siehe auch Tautologien, Kontradiktion, Kontingenz, Erfüllung, Modell, Modelltheorie, Entscheidbarkeit._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
|
