Klassenlogik – „Mathe für Nicht-Freaks“

Dieser Abschnitt ist noch im Entstehen und noch nicht offizieller Bestandteil des Buchs. Gib den Autoren Zeit, den Inhalt anzupassen!

Was in unserer Logik-Sprache noch fehlt, sind Mengen (Klassen). Im Kapitel Prädikatenlogik haben wir im Beispiel Arithmetik zwei 1-stellige Prädikate $𝒩$ (... ist eine natürliche Zahl) und $𝒢$ (... ist gerade) verwendet. In der Mathematik wird aber statt $𝒩$ die Menge der natürlichen Zahlen $\mathbb{N}$ verwendet und statt $𝒩(x)$ wird $x\in \mathbb{N}$ ( x ist ein Element von $\mathbb{N}$ geschrieben. Das Prädikat $𝒢$ wird durch die Definition der Menge der geraden Zahlen $\{x|x\in \mathbb{N}\wedge \mathrm{\exists }z:2\cdot z=x\}$ überflüssig.

Die Sprache der Klassenlogik

Wir erweitern das Alphabet der Prädikatenlogik um das Elementzeichen $\in$ und um den Klassenbildungsoperator $\{|\}$:

Definition (Alphabet der Klassenlogik)

Die Sprache der Klassenlogik hat elf Arten von Zeichen:

1. die Aussagenkonstanten $K_0,K_1,K_2,\dots$, $𝖶$ und $𝖥$,
2. die Junktoren $\mathrm{\neg }$, $\wedge$, $\vee$, $\dot{\vee }$, $\Rightarrow$ und $\iff$,
3. die Klammern $($ und $)$ und das Komma $,$,
4. die Konstanten $c_0,c_1,c_2,\dots$,
5. die Operationssymbole $F_0,F_1,F_2,\dots$,
6. die Prädikate $P_0,P_1,P_2,\dots$,
7. das Gleichheitszeichen $=$,
8. die Variable $v_0,v_1,v_2,\dots$,
9. die Quantoren $\mathrm{\forall }$, $\mathrm{\exists }$ und $\mathrm{\exists }!$ mit dem Doppelpunkt $:$,
10. das Elementzeichen $\in$,
11. den Klassenbildungsoperator $\{|\}$.

Jedem Prädikat und jedem Operationssymbol ist eine natürliche Zahl $n$ als Stellenzahl zugeordnet.

Definition (Terme der Klassenlogik)

Die Terme der Klassenlogik werden nach folgenden Regeln gebildet:

1. Jede Konstante $c$ und jede Variable $x$ ist ein Term.
2. Sind $t_1,t_2,\dots ,t_n$ Terme und ist $F$ ein $n$-stelliges Operationssymbol, so ist $F(t_1,t_2,\dots ,t_n)$ ein Term.
3. Ist $x$ eine Variable und ist $A$ eine Formel, so ist $\{x|A\}$ ein Term.

Es gibt keine weiteren Terme.

Definition (Formeln der Klassenlogik)

Die Formeln der Klassenlogik werden nach folgenden Regeln gebildet:

1. Jede Aussagenkonstante ist eine Formel, $𝖶$ und $𝖥$ sind Formeln.
2. Ist $A$ eine Formel, so ist auch $\mathrm{\neg }A$ eine Formel.
3. Sind $A$ und $B$ Formeln, so sind auch $(A\wedge B)$, $(A\vee B)$, $(A\dot{\vee }B)$, $(A\Rightarrow B)$ und $(A\iff B)$ Formeln.
4. Sind $t_1,t_2,\dots ,t_n$ Terme und ist $P$ ein $n$-stelliges Prädikat, so ist $P(t_1,t_2,\dots ,t_n)$ eine Formel.
5. Sind $t$ und $s$ Terme, so ist $t=s$ eine Formel.
6. Ist $x$ eine Variable und ist $A$ eine Formel, so sind   $\mathrm{\forall }x:A$,   $\mathrm{\exists }x:A$   und   $\mathrm{\exists }!x:A$   Formeln.
7. Sind $t$ und $s$ Terme, so ist $t\in s$ eine Formel.

Es gibt keine weiteren Formeln.

Die Regeln 1. und 2. für Terme und die Regeln 1. bis 6. für Formeln entsprechen den Regeln für die Terme und Formeln der Prädikatenlogik. Deshalb gilt:

Satz

Alle Ausdrücke der Aussagenlogik und der Prädikatenlogik sind auch Ausdrücke der Klassenlogik.

Klassenlogik und Mengenlehre

In der Sprache der Klassenlogik kann - und wird! - üblicherweise die Elementare Mengenlehre formuliert, vgl. Mengenlehre. Damit das funktioniert müssen für $\in$ und $\{|\}$ die folgenden Prinzipien gelten. Zunächst 3 Definitionen.

Definition (Leere Menge)

$\varnothing :=\{x|x\ne x\}$

Definition (Allklasse)

$𝒱:=\{x|x=x\}$

Definition (Klassen)

$Cls(s):\iff s=\{x|x\in s\}$

Elemente sind Individuen: $s\in t\Rightarrow s\in 𝒱$

Der Zusammenhang zwischen der Klassenbildung $\{x|\cdots \}$ und der Elementrelation $\in$ wird Abstraktionsprinzip genannt:

Abstraktionsprinzip: $\mathrm{\forall }y:(y\in \{x|A\left(x\right)\}\iff A\left(y\right))$

In Worten: $y$ ist ein Element der Klasse $\{x|A\left(x\right)\}$ genau dann, wenn die Aussage $A(y)$ gilt.

Und für die Gleichheit von Klassen gilt das Extensionalitätsprinzip: zwei Klassen $s$ und $t$ sind gleich wenn sie dieselben Elemente haben.

Extensionalitätsprinzip: $Cls(s)\wedge Cls(t)\wedge \mathrm{\forall }x:(x\in s\iff x\in t)\Rightarrow s=t$

Satz (Der Klassenbildungsoperator liefert Klassen)

$Cls(\{x|A(x)\})$

Beweis (Der Klassenbildungsoperator liefert Klassen)

Das Abstraktionsprinzip liefert $y\in \{x|x\in \{x|A(x)\}\}\iff y\in \{x|A(x)\}$. Daraus folgt mit dem Extensionalitätsprinzip $\{x|x\in \{x|A(x)\}\}=\{x|A(x)\}$ und mit der Definition von $Cls$ also $Cls(\{x|A(x)\})$. ✔