Semantische Folgerung

Der Begriff der semantischen Folgerung ist in der Modelltheorie eine Form der Implikation. Aus jeder Semantik, das heißt einem Raum möglicher Interpretationen der Sätze einer formalen, logischen Sprache, ergibt sich ein Begriff semantischer Folgerung. Diese ist so definiert, dass ein Satz $B$ genau dann aus einer Menge von Sätzen $A_{1},A_{2},\ldots$ folgt, wenn in jeder Interpretation, in der die Sätze $A_{1},A_{2},\ldots$ gelten (wahr sind), auch der Satz $B$ gilt (wahr ist). Gegenbegriff zur semantischen Folgerung ist die Deduktion, welche sich aus der Anwendung der Schlussregeln eines Beweiskalküls ergibt, das heißt – typischerweise berechenbaren – ohne Verweis auf Interpretationen definierte syntaktische Transformationen auf Sätzen. Zur Unterscheidung wird das Symbol $\models$ für die semantische und $\vdash$ für die syntaktische Folgerungsrelation (Deduktion) verwendet. Durch Vergleich mit einer semantischen Folgerungsrelation lassen sich dabei auch Rückschlüsse über die Verhältnisse und Eigenschaften von Beweiskalkülen gewinnen: So sind die Ableitungsrelationen $\models$ und $\vdash$ je nach Wahl der Semantik auf der einen Seite und des Kalküls auf der anderen Seite im Allgemeinen nicht gleich mächtig. Nur in besonderen, aber auch besonders wichtigen Fällen, wie in der klassischen Aussagen- und Prädikatenlogik erster Stufe mit der Tarski-Semantik auf der einen Seite und den üblichen Kalkülen auf der anderen Seite, sind sie äquivalent. In dem Fall, dass jede syntaktische Folgerung auch eine semantische Folgerung ist, spricht man von Korrektheit, im umgekehrten Fall, dass es zu jeder semantischen Folgerung auch eine syntaktische Ableitung gibt, von Vollständigkeit.

Definition

Die Relation $\models$

Seien $\Phi$ und $\Psi$ Mengen von Aussagen. Wenn jedes Modell von $\Phi$ ein Modell von $\Psi$ ist, so ist die semantische Folgerungsrelation erfüllt und man schreibt $\Phi \models \Psi$.

In der Literatur üblich ist die Verwendung einer Struktur statt einer Aussagenmenge $\Phi$ auf der linken Seite von $\Phi \models \Psi$. In diesem Fall wird gelesen: „$\Phi$ ist ein Modell von $\Psi$“ oder auch „$\Psi$ ist in $\Phi$ erfüllt“. Genau genommen ist dies keine Folgerungsrelation im gerade genannten Sinn, sondern eine Erfüllbarkeitsrelation. Aber da die semantische Folgerung durch die Erfüllbarkeit von Aussagenmengen in Strukturen definiert wird, ist die Mehrdeutigkeit unproblematisch.

In der theoretischen Informatik ist die Menge $\Phi$ stets endlich und man betrachtet nur endliche Modelle. Daher ist es dort üblich, die Menge $\Phi$ als die endliche Menge der Zustände, die die Aussagen aus $\Psi$ erfüllen, zu definieren. Auch dies ist genau genommen keine Folgerungs-, sondern eine Erfüllbarkeitsrelation. Aber auch hier ist dieser Gebrauch kompatibel mit der mathematischen Definition.

Tautologie

Ist eine Formel unter allen Belegungen erfüllt, also immer wahr, so ist sie eine Tautologie:

$\models \psi$

Dies ist das semantische Gegenstück zum Theorem. Ist eine Formel nie erfüllt, so handelt es sich um einen Widerspruch (Kontradiktion).

Alternative Bezeichnungen

Die semantische Folgerung $\models$ wird auch „Mathematisches Schließen“ (besonders in der Prädikatenlogik) oder „modelltheoretische Folgerung“ genannt. Die Erfüllbarkeitsrelation $\models$ heißt auch „Modellrelation“ oder „Tarskis Erfüllbarkeitsrelation“.

Bezug zur syntaktischen Folgerung

Sei ein Kalkül mit Ableitungsrelation $\vdash$ gegeben. Seien $\phi$ und $\psi$ Formeln im Kalkül. Der Kalkül heißt

• semantisch vollständig, falls aus $\phi \models \psi$ folgt $\phi \vdash \psi$,
• semantisch widerspruchsfrei oder korrekt, falls aus $\phi \vdash \psi$ folgt $\phi \models \psi$.

Ist der Kalkül semantisch vollständig und widerspruchsfrei, so heißt er adäquat. Wichtige Beispiele hierfür sind die Prädikatenlogik erster Stufe und die Aussagenlogik.

Syntaktische und Semantische Folgerung in der Aussagenlogik

Die syntaktische Ableitung sieht folgendermaßen aus:

${\begin{alignedat}{3}{\text{1. Ableitungsschritt:}}\quad &p\wedge q&\quad &(Ann)\\{\text{2. Ableitungsschritt:}}\quad &p&\quad &(\wedge -Elimination)\end{alignedat}}$

Somit ist der Ausdruck $p\wedge q\vdash p$ gültig.

In der Aussagenlogik lässt sich die semantische Folgerung anhand einer Wahrheitstabelle überprüfen. Um diese anzuwenden, überprüft man, ob die Konklusion bei allen Belegungen, bei denen die Prämissen wahr sind, wahr ist.

$p$	$q$	$p\wedge q$
wahr	wahr	wahr
wahr	falsch	falsch
falsch	wahr	falsch
falsch	falsch	falsch

Immer wenn $p\wedge q$ erfüllt ist, so ist es auch $p$. Somit folgt $p\wedge q\models p$.

In der Mathematik ist die semantische Folgerung das Vorbild für Logikkalküle.

Weitere Beispiele

Formel	gültig?	Begründung
$p\vee q\models p$	ungültig	Möglichkeit: $p=f,\ q=t,\ p\vee q=t$
$\neg q,\ p\vee q\models p$	gültig	immer: $q=f\Longrightarrow \ p\vee q=t\longrightarrow p=t$
$p\models q\vee \neg q$	gültig	rechts keine Abhängigkeit von links

Siehe auch

• Modelltheorie
• Korrektheit (Logik)
• Vollständigkeit (Logik)

Literatur

• Michael Schenke: Logikkalküle in der Informatik. Springer Vieweg, Wiesbaden 2013. 
• Michael Huth, Mark Ryan: Logic in Computer Science – Modelling and Reasoning about Systems, 2. Aufl., Cambridge University Press, 2005, ISBN 0-521-54310-X Website
• Uwe Schöning: Logik für Informatiker, 5. Aufl., Spektrum Akademischer Verlag, 2000. Kapitel 1.1 und 2.1. (Nur Aussagenlogik und Prädikatenlogik).