Moderne Termlogik/ Terme und nichtleere Mengen

Moderne Termlogik

5. Standardsemantik der Termlogik

5.1 Terme und nichtleere Mengen

In diesem Abschnitt wollen wir die bisher ganz abstrakt verwendeten Symbole $a,b,c,...$ und $Aab,Eac,...$ mit einer Bedeutung versehen, oder, anders ausgedrückt, sie interpretieren. Es ist vielleicht nicht verwunderlich, dass es zu einem vorgegebenen syntaktischen System ganz verschiedene Interpretationen (Semantiken) geben kann - das ist eben die Eigenschaft eines formalen Systems, mit dem man Ergebnisse für ganz unterschiedliche Anwendungsbereichen ableiten kann.

Das System der Termlogik hat nun eine Standardsemantik, bei der man die Terme $a,b,c...$ als nichtleere Mengen interpretiert und die Urteile (Aussagen) $Aab,Eab,Iab,Oab$ durch Mengenoperationen erklärt.

Sei $𝒰$ ein beliebiges System nichtleerer Mengen (in konkreten Fällen wird es sich häufig um alle nichtleeren Teilmengen einer gegebenen Grundmenge handeln).

Definition (Interpretation). Sei $𝔦:T\to 𝒰$ eine Abbildung, die jedem Term der Termmenge $T=\{a,b,c,...\}$ eine Menge $U\in 𝒰$ zuordnet. Das Paar $\Im =\left(𝔦,𝒰\right)$ heisst dann eine Interpretation der Termlogik.

Definition (Modell). Sei $p$ eine Aussage der Termlogik, also eines der Urteile $Aab,Eab,Iab,Oab$. Eine Interpretation $\left(𝔦,𝒰\right)$ heisst Modell von $p$, wenn

$𝔦(a)\subset 𝔦(b)$	falls p=Aab
$𝔦(a)\cap 𝔦(b)=\mathrm{\varnothing }$	falls p=Eab
$𝔦(a)\cap 𝔦(b)\ne \mathrm{\varnothing }$	falls p=Iab
$𝔦(a)\subset ̸𝔦(b)$	falls p=Oab

Schreibweise: Wenn eine Interpretation $\Im =\left(𝔦,𝒰\right)$ ein Modell für eine Aussage $p$ ist, schreiben wir auch $\Im \models p$ (als Gedächtnisstütze: Das Zeichen $\models$ wird in TeX "\models" geschrieben).

Ein Beispiel: In der folgenden Skizze sei $𝒰$ die Menge aller nichtleeren Teilmengen des umschreibenden Rechtecks. Betrachten wir die Urteile $\{Aba,Icd,Ebc\}$ und die Interpretation $A=𝔦(a),B=𝔦(b),C=𝔦(c),D=𝔦(d)$, wobei $A,B,C,D$ die in der Skizze dargestellten Teilmengen sein sollen. Dann ist die so definierte Interpretation ein Modell für alle vier Urteile.