Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Satisfiability
CHF 37.00
Auf Lager
SKU
9G9GKNGP932
1 Verfügbar 
Geliefert zwischen Do., 29.01.2026 und Fr., 30.01.2026
Details
In mathematical logic, satisfiability and validity are elementary concepts concerning interpretation . A formula is satisfiable with respect to a class of interpretations if it is possible to find an interpretation that makes the formula true. A formula is valid if all such interpretations make the formula true. These notions can be relativised to satisfiability and validity within an axiomatic theory, where we count only interpretations that make all axioms true. The negations of the concepts are unsatisfiability and invalidity, that is, a formula is unsatisfiable if none of the interpretations make the formula true, and invalid if some such interpretation makes the formula false. These four concepts are related to each other in a manner exactly analogous to Aristotle's square of opposition. The four concepts can be raised to apply to whole theories: a theory is satisfiable (valid) if one (all) of the interpretations make(s) each of the axioms of the theory true, and a theory is unsatisfiable (invalid) if all (one) of the interpretations make(s) each of the axioms of the theory false.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786131202032
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- EAN 9786131202032
- Format Fachbuch
- Titel Satisfiability
- Herausgeber Betascript Publishing
- Anzahl Seiten 72
- Genre Mathematik
Bewertungen
Schreiben Sie eine Bewertung
