[1] Eigenschaft mancher Aussagen in der Logik und Mathematik, unter gewissen Umständen wahr zu sein
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 der Variablen gibt, für die der Wahrheitswert des gesamten Ausdrucks wahr ist.
|
|
| Bedeutung | Deutsch | Übersetzung | Sprache | Artikel | Aussprache |
|---|---|---|---|---|---|
| 1 | Erfüllbarkeit | satisfiability | en | ||
| 1 | Erfüllbarkeit | vervulbaarheid | nl | ||
| 1 | Erfüllbarkeit | Mathematik lösbarhet | sv | ||
| 1 | Erfüllbarkeit | gerçeklesme | tr | ||
| Erfüllbarkeitsproblem der Aussagenlogik | Boolean Satisfiability Problem | en |