Erfüllbarkeit
Sign in to savemetasprachliches Prädikat für die Eigenschaft von logischen Aussagen und Aussageformen
Wikidata facts
- Subclass of
- property
Show 2 more facts
- maintained by WikiProject
- WikiProject Mathematics
- characteristic of
- semantics
Sources (2)
via Wikidata · CC0
Article · Deutsch
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.
Abstract from DBpedia / Wikipedia · CC BY-SA