Erfüllbare Aussage

Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier.
Eine erfüllbare Aussage ist eine Aussage der Aussagenlogik für die es eine der Variablen gibt mit der die Aussage wahr wird. Eine Aussage ist eine erfüllbare wenn sie keine Kontradiktion ist.

Definition

eine Eigenschaft eines logischen Ausdrucks bei einer Einsetzung von Wahrheitswerten für die gegebenen den Wahrheitswert wahr anzunehmen.

Ein Ausdruck ist erfüllbar genau dann er keine Kontradiktion enthält.

Beispiel

Die Aussage " A oder B " ist eine erfüllbare Aussage. Eine Belegung die diese Aussage wahr wird ist etwa A ist wahr und B ist falsch".
Jede Tautologie ist eine erfüllbare Aussage.

Allgemeingültige und neutrale Ausdrücke

Jeder allgemeingültige Ausdruck (Logik) ist zugleich aber nicht jeder erfüllbare Ausdruck ist allgemeingültig Um die beiden verschiedenartigen Klassen von Ausdrücken unter den Begriff erfüllbar fallen besser zu unterscheiden bezeichnet man erfüllbaren aber nicht allgemeingültigen Ausdruck auch als Neutralität (Logik) .

Siehe auch: Logik

Bücher zum Thema Erfüllbare Aussage

Dieser Artikel von Wikipedia unterliegt der GNU FDL.

Impressum • Lesezeichen setzen • Seite versenden • Seite drucken

HTML-Code zum Verweis auf diese Seite:
<a href="http://www.uni-protokolle.de/Lexikon/Erf%FCllbare_Aussage.html">Erfüllbare Aussage </a>