Erfüllbarkeitsäquivalenz
Sign in to saveAlso known as satisfiable equivalence
Eigenschaft aus der Prädikatenlogik
In the Vinony graph
Vinony's link graph records 12 inbound references to Erfüllbarkeitsäquivalenz, and connects out to logic, International Standard Book Number and mathematical logic.
It sits within the topics Concepts in logic, Metalogic and Model theory.
Vinony links it to 5 Wikipedia language editions.
Wikidata facts
Show 2 more facts
- facet of
- classical logic
- has characteristic
- satisfiability
via Wikidata · CC0
Article · Deutsch
Erfüllbarkeitsäquivalenz ist eine Eigenschaft, die zwischen zwei prädikatenlogischen Formeln gelten kann. Zwei Formeln F und G sind genau dann erfüllbarkeitsäquivalent, wenn gilt: F ist erfüllbar G ist erfüllbar Oder umgekehrt: F ist unerfüllbar G ist unerfüllbar Die beiden Formeln brauchen nicht äquivalent zu sein und brauchen auch nicht durch dieselben Interpretationen erfüllt zu werden. Erfüllbarkeitsäquivalenz ist somit eine recht schwache Eigenschaft. Relevant ist die Erfüllbarkeitsäquivalenz bei Nachweis der Unerfüllbarkeit einer prädikatenlogischen Formel mittels der Herbrand-Theorie. Dazu muss die Formel erst in die Skolemform umgeformt werden, die zur Ausgangsformel lediglich erfüllbarkeitsäquivalent ist.
Abstract from DBpedia / Wikipedia · CC BY-SA