Moderne Termlogik: Der Kalkül der Termlogik: Direkte Ableitungen

Moderne Termlogik

Der Kalkül der Termlogik

Direkte Ableitungen

Wie im vorherigen Abschnitt beschrieben, bedeutet "Direkte Ableitung von Folgerungen aus einer Menge von Annahmen" das Folgende.

Definition:

• Gegeben eine Menge $\Phi$ von Urteilen, die Annahmen (oder Voraussetzungen).
• Eine endliche Folge (Sequenz) von Urteilen $<\Phi _{0},....,P>$ heisst "Direkte Ableitung von $P$ aus $\Phi$", wenn

1. $\Phi _{0}$ eine Teilmenge von $\Phi$ ist
2. alle Elemente, die nach $\Phi _{0}$ kommen (d.h., in der Sequenz rechts von $\Phi _{0}$ stehen) entweder Wiederholungen von Elementen aus $\Phi _{0}$ sind oder aus vorhergehenden Elementen durch eine der Regeln $R_{1},R_{2},R_{3},R_{4}$ erzeugt werden.

Sei $P$ eine direkte Ableitung aus $\Phi$. Dann schreiben wir

$\Phi \vdash P$

Diesen Vorgang der Ableitung eines Urteils aus einer Urteilsmenge protokolliert man am einfachsten so ( wir zeigen das an einem Beispiel):

${\begin{array}{llllll}1.&Aab&Annahme\\2.&Ecb&Annahme&&&\Phi _{0}=\left\{Aab,Ecb\right\}\\3.&Ebc&R2&2&P_{0}=Ebc&\Phi _{1}=\left\{Aab,Ecb,Ebc\right\}\\4.&Eac&R4&1,3&P_{1}=Eac&\Phi _{2}=\left\{Aab,Ecb,Ebc,Eac\right\}\\5.&Eca&R2&4&P_{2}=Eca&\Phi _{3}=\left\{Aab,Ecb,Ebc,Eac,Eca\right\}\end{array}}$

Auf die letzten beiden Spalten kann man auch verzichten, wenn es einem nur auf das Endergebnis, die letzte Zeile ankommt. An unserem Beispiel können wir ablesen, dass die folgende Ableitungsbeziehung gilt:

$Aab,Ecb\vdash Eca$

Folgerung: Aus der Definition der direkten Ableitung folgt unmittelbar, dass für alle Urteile

$\Phi ,P\vdash P$ für alle beliebigen $\Phi$ und $P$

gilt; denn $<\Phi ,P,P>$ ist eine gültige Ableitung (die Wiederholung von $P$ ist zulässig nach der obigen Definition).

Diese Tatsache hat grosse Konsequenzen für das gesamte Logiksystem, wie sich im Abschnitt über die indirekte Ableitung zeigen wird: Sie garantiert, dass - wie bei der Aussagenlogik - aus einem Widerspruch jeder beliebige Satz folgt ($p\wedge \neg p\rightarrow q$ ist eine Tautologie). Ein System, in dem das nicht der Fall ist (solche Systeme nennt man parakonsistent) erhält man, wenn man in der obigen Definition der direkten Ableitung die Worte

entweder Wiederholungen von Elementen aus $\Phi _{0}$ sind oder

streicht. Wir gehen später, im Abschnitt Parakonsistenz, genauer darauf ein.