Philosophie Lexikon der Argumente

Suche  


 
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.
 
Autor Begriff    Weitere Begriffe zu Autor
Poundstone, W. Erfüllbarkeit   Poundstone, W.
Tarski, A. Erfüllbarkeit   Tarski, A.


Hg. Martin Schulz, Abfragedatum 20.08.2017