Kurs:Einführung in die mathematische Logik (Osnabrück 2018)/Vorlesung 10

Ableitungskalkül der Prädikatenlogik

Gegeben sei ein Symbolalphabet $S$ einer Sprache erster Stufe und damit die zugehörige Termmenge und die zugehörige Ausdrucksmenge $L^{S}$ . Wir möchten die logisch wahren Aussagen einer solchen Sprache syntaktisch charakterisieren. Mathematische Aussagen sind im Allgemeinen „wenn-dann“-Aussagen, d.h. sie behaupten, dass, wenn gewisse Voraussetzungen erfüllt sind, dann auch eine gewisse Folgerung erfüllt ist.

Wenn man einen Beweis eines Satzes der Gruppentheorie oder der elementaren Arithmetik entwirft, so sind dabei die Axiome der Gruppentheorie bzw. die Peano-Axiome stets präsent. Wenn $α_{1}, α_{2}, α_{3}$ die Gruppenaxiome bezeichnen und $α$ die Aussage, dass das inverse Element eindeutig bestimmt ist, bezeichnet, so folgt $α$ aus $α_{1}, α_{2}, α_{3}$ . Mit der Folgerungsbeziehung kann man dies als

{α_{1}, α_{2}, α_{3}} ⊨ α

formulieren. Dies kann man auch so ausdrücken, dass

α_{1} \land α_{2} \land α_{3} \to α

allgemeingültig ist, also dass

⊨ α_{1} \land α_{2} \land α_{3} \to α

gilt. So kann man jede Folgerung $Γ ⊨ α$ aus einer endlichen Ausdrucksmenge $Γ$ „internalisieren“, also durch einen allgemeingültigen Ausdruck der Form

⊨ α_{1} \land \dots \land α_{n} \to α

wiedergegeben, wobei vorne die Ausdrücke aus $Γ$ konjugiert werden. Die Folgerungsbeziehung (zumindest aus endlichen Ausdrucksmengen) kann also vollständig durch allgemeingültige Ausdrücke verstanden werden.

Wir besprechen nun die syntaktische Variante der allgemeingültigen Ausdrücke, nämlich die syntaktischen prädikatenlogischen Tautologien. Über den soeben besprochenen Zusammenhang ergibt sich daraus auch ein Ableitungskalkül, der das syntaktische Analogon zur Folgerungsbeziehung ist. Da wir Ausdrücke der Form $α_{1} \land \dots \land α_{n} \to α$ als Grundtyp für eine mathematische Aussage ansehen, arbeiten wir allein mit den Junktoren $\neg, \land, \to$ und lesen $\lor$ und $\leftrightarrow$ als Abkürzungen. Man könnte auch noch $\land$ bzw. $\to$ eliminieren und durch die verbleibenden beiden Junktoren ausdrücken, doch würde dies zu recht unleserlichen Formulierungen führen.

Der prädikatenlogische Kalkül, den wir vorstellen wollen, soll es erlauben, „alle“ prädikatenlogischen allgemeingültigen Ausdrücke formal abzuleiten. Der Aufbau dieses Kalküls geschieht (wie für den Ableitungskalkül der Aussagenlogik) rekursiv (und für beliebige Symbolalphabete gleichzeitig). D.h. man hat eine Reihe von Anfangstautologien (oder Grundtautologien) und gewisse Schlussregeln, um aus schon nachgewiesenen Tautologien neue zu produzieren. Sowohl die Anfangstautologien als auch die Schlussregeln sind aus der mathematischen Beweispraxis vertraut.

Zur Formulierung dieses Kalküls verwenden wir die Schreibweise

⊢ α .

Sie bedeutet, dass der Ausdruck

α

in der Prädikatenlogik

(erster Stufe zu einem gegebenen Alphabet) ableitbar ist, also eine Tautologie (im syntaktischen Sinne) ist. Wir beschreiben nun rekursiv die syntaktischen Tautologien in der Prädikatenlogik, die sich in aussagenlogische Tautologien, Gleichheitstautologien und Quantorentautologien und zwei Ableitungsregeln untergliedern. Wir beginnen mit den schon bekannten, allerdings in einer anderen Sprache formulierten aussagenlogischen Tautologien.

Axiom

Zu einem beliebigen Symbolalphabet $S$ und beliebige Ausdrücke $α, β, γ \in L^{S}$ legt man folgende (syntaktische) Tautologien axiomatisch fest.

$⊢ α \to (β \to α) .$
$⊢ (α \to β) \land (β \to γ) \to (α \to γ) .$
$⊢ (α \to β) \land (α \to γ) \to (α \to β \land γ) .$
$⊢ (α \land β \to γ) \to (α \to (β \to γ))$

und

$⊢ (α \to (β \to γ)) \to (α \land β \to γ) .$
$⊢ α \land \neg α \to β .$
$⊢ (α \to β) \land (\neg α \to β) \to β .$

Als (erste) Schlussregel erlaubt man wieder den Modus Ponens, so dass die Prädikatenlogik in einem gewissen Sinne die Aussagenlogik umfasst. Die Einschränkung in dieser Formulierung beruht darauf, dass es in der Sprache der Prädikatenlogik keine Aussagenvariablen gibt. Man kann sich vorstellen, dass die oben angeführten Tautologien aus den entsprechenden aussagenlogischen (in Aussagenvariablen formulierten) Tautologien entstehen, indem man für die Aussagenvariablen beliebige prädikatenlogische Ausdrücke einsetzt. Dies führt zu folgendem Einsetzungsprinzip. Wir schreiben $φ \frac{β_{1}, \dots, β_{n}}{p_{1}, \dots, p_{n}}$ , wenn in einem aussagenlogischen Ausdruck $φ$ die darin vorkommenden Aussagenvariablen $p_{i}$ durch prädikatenlogische Ausdrücke $β_{i}$ ersetzt werden (diese Ersetzung ist deutlich einfacher als die Ersetzung von Variablen durch Terme.)

Lemma

Es sei $φ$ eine in den Aussagenvariablen $p_{1}, \dots, p_{n}$ formulierte aussagenlogische Tautologie und es seien $β_{1}, \dots, β_{n} \in L^{S}$ prädikatenlogische Ausdrücke über einem Symbolalphabet $S$ .

Dann ist auch der prädikatenlogische Ausdruck $φ^{'}$ , der entsteht, wenn man in $φ$ jedes Auftreten der Aussagenvariablen $p_{i}$ durch $β_{i}$ ersetzt, eine prädikatenlogische Tautologie.

Beweis

Wir führen Induktion über den Aufbau der aussagenlogischen Tautologien. Es sei $φ$ eines der aussagenlogischen Axiome in den Ausdrücken $α, β, γ$ und es seien $p_{1}, \dots, p_{n}$ die darin auftretenden Aussagenvariablen. Wir schreiben die zugrunde liegende aussagenlogische Tautologie in den Aussagenvariablen $p, q, r$ und nennen diese $ψ$ . Dann ist

φ = ψ \frac{α, β, γ}{p, q, r} .

Somit ist insgesamt

φ^{'} = φ \frac{β_{1}, \dots, β_{n}}{p_{1}, \dots, p_{n}} = ψ \frac{α \frac{β_{1}, \dots, β_{n}}{p_{1}, \dots, p_{n}}, β \frac{β_{1}, \dots, β_{n}}{p_{1}, \dots, p_{n}}, γ \frac{β_{1}, \dots, β_{n}}{p_{1}, \dots, p_{n}}}{p, q, r} .

D.h. $φ^{'}$ entsteht durch Einsetzung von prädikatenlogischen Ausdrücken in eine Basistautologie und gehört somit zu den in Axiom 10.1 gelisteten Tautologien. Es sei nun $φ$ eine aussagenlogische Tautologie, die durch Modens ponens erhalten wird. Dann gibt es also eine aussagenlogische Tautologie $ψ$ und $ψ \to φ$ ist ebenfalls eine aussagenlogische Tautologie. Nach Induktionsvoraussetzung sind dann $ψ \frac{β_{1}, \dots, β_{n}}{p_{1}, \dots, p_{n}}$ und $(ψ \to φ) \frac{β_{1}, \dots, β_{n}}{p_{1}, \dots, p_{n}} = ψ \frac{β_{1}, \dots, β_{n}}{p_{1}, \dots, p_{n}} \to φ \frac{β_{1}, \dots, β_{n}}{p_{1}, \dots, p_{n}}$ prädikatenlogische Tautologien. Da der Modus ponens eine erlaubte Schlussregel in der Prädikatenlogik ist, folgt, dass $φ \frac{β_{1}, \dots, β_{n}}{p_{1}, \dots, p_{n}}$ eine prädikatenlogische Tautologie ist.

◻

Beispiel

Wir betrachten die aussagenlogische Tautologie der Form

α \to (β \to α)

mit

α = p_{1} \land p_{2} und β = p_{3} \to p_{4},

also, angelehnt an Lemma 10.2,

φ = (q \to (r \to q)) \frac{p_{1} \land p_{2}, p_{3} \to p_{4}}{q, r} = (p_{1} \land p_{2}) \to ((p_{3} \to p_{4}) \to (p_{1} \land p_{2})) .

In diese aussagenlogische Tautologie soll

p_{1} durch β_{1} := R x y, p_{2} durch β_{2} := \forall u u = c, p_{3} durch β_{3} := \exists y \forall x f x z = y, p_{4} durch β_{4} := \neg P u,

ersetzt werden. Das ergibt die prädikatenlogische Tautologie

(R x y \land \forall u u = c) \to (((\exists y \forall x f x z = y) \to \neg P u) \to (R x y \land \forall u u = c)) .

Im Laufe der Einführung der prädikatenlogischen Tautologien und der zugehörigen Schlussregeln werden wir sogleich die Korrektheit feststellen, d.h., dass es sich auch um allgemeingültige Ausdrücke (semantische Tautologien) handelt. Für die aussagenlogischen Tautologien wurde die Korrektheit für aussagenlogische Modelle schon gezeigt, eine einfache Variante davon liefert die Korrektheit innerhalb von prädikatenlogischen Modellen.

Lemma

Jede aussagenlogische Tautologie im Sinne von Axiom 10.1 ist

allgemeingültig in der Prädikatenlogik.

Beweis

Es sei $I$ eine Interpretation von $L^{S}$ und $φ$ eine aussagenlogische Grundtautologie in den prädikatenlogischen Ausdrücken $α, β, γ$ . Dann ist der Wahrheitswert von $φ$ in $I$ nur abhängig von den Wahrheitswerten von $α, β, γ$ in $I$ und den Junktoren in $φ$ . Da es sich um eine aussagenlogische Tautologie handelt und die Wahrheitsvorschrift für die Junktoren in einem prädikatenlogischen Modell mit der in einem aussagenlogischen Modell übereinstimmt, besitzt $φ$ den Wahrheitswert $w$ . Also ist $φ$ allgemeingültig.

◻

Da allgemeingültige Aussagen unter Modus Ponens abgeschlossen sind, folgt daraus, dass generell alle prädikatenlogisch formulierten aussagenlogischen Tautologien allgemeingültig sind.

Gleichheitstautologien

In der Prädikatenlogik gelten die beiden folgenden Tautologien für die Gleichheit.

Axiom

Es sei $S$ ein Symbolalphabet, $s, t$ seien $S$ -Terme und $α$ sei ein $S$ -Ausdruck. Dann sind die beiden folgenden Ausdrücke syntaktische Tautologien.

$⊢ t = t .$
$⊢ s = t \land α \frac{s}{x} \to α \frac{t}{x} .$

Diese beiden Axiome (oder genauer Axiomenschemata) heißen Gleichheitsaxiom und Substitutionsaxiom. Mit einer aussagenlogischen Umformulierung sieht man, dass das Substitutionsaxiom äquivalent zu

⊢ s = t \to (α \frac{s}{x} \to α \frac{t}{x})

ist.

Lemma

Die Gleichheitsaxiome

sind korrekt.

Beweis

Es sei $I$ eine beliebige $S$ -Interpretation. (1). Aufgrund der Bedeutung des Gleichheitszeichens unter jeder Interpretation gilt $I (t) = I (t)$ , also

I ⊨ t = t .

(2). Es gelte

I ⊨ s = t \land α \frac{s}{x},

also $I ⊨ s = t$ und $I ⊨ α \frac{s}{x}$ . Das bedeutet einerseits $I (s) = I (t)$ . Andererseits gilt nach dem Substitutionslemma

I \frac{I (s)}{x} ⊨ α .

Wegen der Termgleichheit gilt somit auch

I \frac{I (t)}{x} ⊨ α

und daher, wiederum aufgrund des Substitutionslemmas, auch

I ⊨ α \frac{t}{x} .

◻

Bei leerer Variablenmenge ist das Substitutionsaxiom aussagelos. In Hinblick auf Lemma 10.7 fordern wir, dass die Variablenmenge stets unendlich ist.

Lemma

Aus den Gleichheitsaxiomen lassen sich folgende Gleichheitstautologien ableiten (dabei sind $r, s, t, s_{1}, \dots, s_{n}, t_{1}, \dots, t_{n}$ Terme, $f$ ein $n$ -stelliges Funktionssymbol und $R$ ein $n$ -stelliges Relationssymbol).

$⊢ s = t \to t = s .$

$⊢ r = s \land s = t \to r = t .$

$⊢ s_{1} = t_{1} \land \dots \land s_{n} = t_{n} \to f s_{1} \dots s_{n} = f t_{1} \dots t_{n} .$

$⊢ s_{1} = t_{1} \land \dots \land s_{n} = t_{n} \land R s_{1} \dots s_{n} \to R t_{1} \dots t_{n} .$

Beweis

(1). Aufgrund der Gleichheitsaxiome haben wir

⊢ s = s

und

⊢ s = t \land (x = s) \frac{s}{x} \to (x = s) \frac{t}{x},

wobei $x$ eine Variable sei, die weder in $s$ noch in $t$ vorkomme. Daher sind die beiden substituierten Ausdrücke gleich $s = s$ bzw. $t = s$ . Eine aussagenlogische Umstellung der zweiten Zeile ist

⊢ s = s \to (s = t \to t = s),

sodass sich aus der ersten Zeile mittels Modus ponens

⊢ s = t \to t = s

ergibt.
(2). Es sei wieder $x$ eine Variable, die weder in $r$ noch in $s$ noch in $t$ vorkomme. Eine Anwendung des Substitutionsaxioms liefert

⊢ s = t \land (r = x) \frac{s}{x} \to (r = x) \frac{t}{x} .

Nach Einsetzen und einer aussagenlogischen Umstellung ist dies die Behauptung.
Für (3) siehe Aufgabe 10.5.
(4). Es sei $u$ eine Variable, die weder in einem der $s_{i}$ noch in einem der $t_{i}$ vorkommt. Für jedes $i = 1, \dots, n$ gilt nach Axiom 10.5 (2) (mit $α = α_{i} = R t_{1} \dots t_{i - 1} u s_{i + 1} \dots s_{n}$ ) dann

⊢ s_{i} = t_{i} \to (R t_{1} \dots t_{i - 1} u s_{i + 1} \dots s_{n} \frac{s_{i}}{u} \to R t_{1} \dots t_{i - 1} u s_{i + 1} \dots s_{n} \frac{t_{i}}{u}),

also

⊢ s_{i} = t_{i} \to (R t_{1} \dots t_{i - 1} s_{i} s_{i + 1} \dots s_{n} \to R t_{1} \dots t_{i - 1} t_{i} s_{i + 1} \dots s_{n}) .

Diese Ableitbarkeiten gelten auch, wenn man die Vordersätze durch ihre Konjunktion

(s_{1} = t_{1}) \land \dots \land (s_{n} = t_{n})

ersetzt. Durch die Transitivität der Implikation ergibt sich daher

⊢ (s_{1} = t_{1}) \land \dots \land (s_{n} = t_{n}) \to (R s_{1} \dots s_{n} \to R t_{1} \dots t_{n}) .

◻

<< | Kurs:Einführung in die mathematische Logik (Osnabrück 2018) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)