Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012)/Vorlesung 2/latex
\setcounter{section}{2}
\zwischenueberschrift{Sprache als Symbolketten}
Wir knüpfen an die Überlegungen der ersten Vorlesung an, ob es eine Maschine \zusatzklammer {einen Computer, einen Algorithmus} {} {} gibt, die mathematische Aussagen ausdrücken, ausdrucken, überprüfen, beweisen oder widerlegen kann. Eine solche Maschine operiert mit Zeichenreihen, die wir in diesem Zusammenhang eine \zusatzklammer {formale} {} {} Sprache nennen.
\inputdefinition
{}
{
Es sei $A$ eine Menge von Symbolen. Dann nennt man jede endliche Zeichenreihe, die man mit den Elementen aus $A$ aufstellen kann, ein \definitionswort {Wort über dem Alphabet}{} $A$.
}
Die Menge aller Wörter über dem Alphabet $A$ bezeichnen wir mit $A^*$.
Das zugrunde liegende Alphabet kann endlich oder unendlich sein, für praktische Anwendungen reicht ein endliches Alphabet. Die Elemente des Alphabets nennt man Buchstaben, Zeichen oder Symbole. Mit einer Zeichenreihe meint man eine hintereinander geschriebene Buchstabenkette \zusatzklammer {oder Symbolkette} {} {.} Dazu gehören die einelementigen Ketten, also die Elemente aus $A$ selbst, aber auch die leere Kette \zusatzklammer {das leere Wort} {} {,} die wir mit $\emptyset$ bezeichnen. Bei dieser Definition kommt es nicht auf irgendeine Sinnhaftigkeit der Wörter an, es handelt sich um eine rein formale Definition.
\inputbeispiel{}
{
Es sei ein einelementiges
\definitionsverweis {Alphabet}{}{}
\mavergleichskette
{\vergleichskette
{A
}
{ = }{\{ {{|}} \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Dann besitzt jedes Wort über $A$ die Gestalt
\mathdisp {{{|}} {{|}}{{|}} \ldots {{|}}} { }
mit einer gewissen Anzahl von Strichen. Zwei solche Wörter sind genau dann gleich, wenn ihre Strichanzahl übereinstimmt. In diesem Fall entsprechen also die Wörter den natürlichen Zahlen
\zusatzklammer {das leere Wort entspricht der $0$} {} {.}
}
\inputbeispiel{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {DNA structure and bases FR.svg} }
\end{center}
\bildtext {} }
\bildlizenz { DNA structure and bases FR.svg } {} {Dosto} {Commons} {CC-by-sa 2.5} {}
Die DNA-Stränge, die die Erbinformationen aller Lebewesen tragen, sind Doppelketten in Helixform aus Nukleotiden. Die entscheidenden Bestandteile der Nukleotiden sind die Basen, wofür es nur vier Möglichkeiten gibt, nämlich Adenin (A), Thymin (T), Guanin (G) und Cytosin (C). Die Nukleotiden treten in der Helix stets mit einem festen Partner \zusatzklammer {nämlich Adenin mit Thymin und Guanin mit Cytosin} {} {} auf, sodass die Struktur durch die eine Hälfte der Helix festgelegt ist. Daher entspricht \zusatzklammer {bis auf die Leserichtung und die Strangauswahl} {} {} die genetische Information eines DNA-Stranges einem Wort über dem Alphabet mit den Buchstaben A,T,G,C.
}
Wenn zu einem Alphabet $A$ ein neues Zeichen $-$ als \anfuehrung{Leerzeichen}{} hinzugenommen wird, so werden manchmal die Wörter aus $A$ als
\zusatzklammer {eigentliche} {} {} Wörter und die Wörter aus dem Alphabet
\mathl{A \cup \{ - \}}{} als Texte
\zusatzklammer {oder Sätze} {} {} bezeichnet. Mit der Hinzunahme eines weiteren Satzbeendungssymbols kann man auch zwischen Sätzen und Texten unterscheiden.
Die geschriebene natürliche Sprache umfasst das Alphabet, das aus den Großbuchstaben A,B,C,...,Z,Ä,Ö,Ü, den Kleinbuchstaben a,b,c,...,z,ä,ö,ü,ß, den Ziffern, den Satzzeichen und einem Leerzeichen für den Abstand zwischen den Wörtern besteht. Jede lineare Hintereinanderreihung dieser Zeichen gilt für uns als Text. Im Moment interessieren wir uns nicht dafür, ob die geschriebenen Texte syntaktisch richtig gebildet oder semantisch erlaubt sind. Im Moment ist also z.B.
\mathdisp {!!fL33kAs.,r} { }
ein erlaubter Text.
In der Definition von einem Wort über einem Alphabet haben wir von einer Menge gesprochen und somit eine naive Mengenlehre vorausgesetzt. Im endlichen Fall wird die Symbolmenge einfach durch Auflisten ihrer Elemente gegeben. Für die gebildeten Wörter haben wir implizit verwendet, dass das Bilden von linearen Zeichenreihen unproblematisch ist.
\zwischenueberschrift{Rekursive Definitionen}
Ein wichtiges Prinzip, Mengen zu definieren, ist das der \stichwort {rekursiven Definition} {.} Eine rekursive Definition besteht aus zwei Sorten von Regeln. (1) Einerseits gewisse Startregeln, die sagen, was direkt zu der Menge gehört, und (2) Rekursionsregeln, die die Form einer Bedingung haben, und besagen, dass wenn gewisse Objekte zu der Menge gehören, und wenn neue Objekte aus diesen Objekten in bestimmter Weise gebildet sind, dass dann diese neuen Objekte ebenfalls dazu gehören \zusatzklammer {die dritte stillschweigende Bedingung an eine rekursive Definition ist, dass es keine weitere Möglichkeit gibt, zu der Menge zu gehören, außer den in (1) und (2) genannten} {} {.}
Die Menge der Wörter über einem Alphabet $A$ kann man auch folgendermaßen rekursiv definieren.
\aufzaehlungzwei {$\emptyset$ ist ein Wort über $A$.
} {Wenn $x$ ein Wort ist und
\mathl{a \in A}{} ein Buchstabe, so ist auch $xa$ ein Wort.
}
Hier repräsentiert $x$
\zusatzklammer {eine Variable} {} {} ein beliebiges schon konstruiertes Wort. Dabei ist $\emptyset a$ als $a$ zu lesen, so dass die beiden erlaubten Konstruktionsschritte
\zusatzklammer {also der Anfangsschritt und der Rekursionsschritt} {} {} sichern, dass die einzelnen Symbole aus $A$ Wörter sind. Wenn das Alphabet durch
\mathl{A=\{a,b,c\}}{} gegeben ist, so würde der rekursive Nachweis, dass
\mathl{abbac}{} ein Wort ist, folgendermaßen gehen.
\aufzaehlungsechs{Wegen der Anfangsbedingung ist $\emptyset$ ein Wort.
}{Deshalb und wegen des Rekursionsschrittes ist $\emptyset a =a$ ein Wort.
}{Deshalb und wegen des Rekursionsschrittes ist $ab$ ein Wort
\zusatzklammer {hier ist also
\mathl{x=a}{} das schon nachgewiesene Wort und der Buchstabe $b$ wird angehängt} {} {.}
}{Deshalb und wegen des Rekursionsschrittes ist $abb$ ein Wort
\zusatzklammer {hier ist also
\mathl{x=ab}{} das schon nachgewiesene Wort und der Buchstabe $b$ wird angehängt} {} {.}
}{Deshalb und wegen des Rekursionsschrittes ist $abba$ ein Wort
\zusatzklammer {hier ist also
\mathl{x=abb}{} das schon nachgewiesene Wort und der Buchstabe $a$ wird angehängt} {} {.}
}{Deshalb und wegen des Rekursionsschrittes ist $abbac$ ein Wort
\zusatzklammer {hier ist also
\mathl{x=abba}{} das schon nachgewiesene Wort und der Buchstabe $c$ wird angehängt} {} {.}
}
Natürlich kann man
\mathl{abbac}{} sofort ansehen, dass es sich um eine linear angeordnete Zeichenreihe über
\mathl{\{a,b,c\}}{} handelt, und der rekursive Nachweis scheint übertrieben pedantisch zu sein. Bei komplexer gebildeten Mengen ist aber die rekursive Definition unerlässlich, vor allem auch deshalb, da sie ermöglicht, Eigenschaften der Elemente einer Menge über den rekursiven Aufbau nachzuweisen.
Eine Sprache besteht aus sinnvollen Wörtern und sinnvollen Sätzen, nicht aus der beliebigen Aneinanderreihung von Symbolen oder Buchstaben \zusatzklammer {oder Lauten} {} {.} Es ist aber vorteilhaft, erstmal alle Möglichkeiten zuzulassen und daraus durch eine Vorgabe von Regeln die sinnvollen Ausdrücke, Wörter, Lautkombinationen herauszufiltern. So funktioniert auch der kleinkindliche Spracherwerb und der Aufbau der formalen Sprachen. Wir werden nun den rekursiven Aufbau von syntaktisch korrekten Termen besprechen.
\zwischenueberschrift{Terme}
Betrachten wir die sinnvollen Ausdrücke, die für eine natürliche Zahl stehen können. Mit dem Ziffernalphabet
\mavergleichskette
{\vergleichskette
{Z
}
{ = }{\{0,1,2,3,4,5,6,7,8,9\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man mit der rekursiven Vorschrift zur Generierung von Zeichenreihen aus einem Alphabet alle natürlichen Zahlen
\zusatzklammer {im Zehnersystem} {} {}
aufschreiben, z.B.
\mathl{530386275}{.} Allerdings gibt es hier ein paar Schwierigkeiten, es sind nämlich auch die Zahlen
\mathl{0530386275}{,}
\mathl{00530386275}{,} u.s.w. erlaubt
\zusatzklammer {und untereinander verschieden, da sie eben unterschiedliche Symbolfolgen sind} {} {.}
Der \anfuehrung{Zahlenwert}{} steht im Moment noch nicht zur Verfügung. Ferner möchte man das leere Zahlwort nicht als erlaubte Ziffernfolge ansehen.
Mit dieser Menge an erlaubten Zahlwörtern kann man Telefonnummern oder Internetadressen bezeichnen, aber noch nicht das machen, was man eigentlich mit Zahlen machen möchte, nämlich Zählen, Rechnen, Probleme formulieren und lösen. Für die innerhalb der natürlichen Zahlen ausführbaren Rechenoperationen, insbesondere das Nachfolgernehmen
\zusatzklammer {also das Zählen} {} {}
und die Addition und die Multiplikation, brauchen wir neue Symbole. Eine Aussage wie
\mavergleichskettedisp
{\vergleichskette
{ 5 \cdot 3
}
{ =} { 8 + 7
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist natürlich wahr, da links und rechts $15$ \anfuehrung{steht}{,} wie man durch \anfuehrung{ausrechnen}{}
\zusatzklammer {also das korrekte Anwenden der Rechenregeln} {} {}
überprüfen kann. Wenn man allerdings solche Gleichungen logisch verstehen und analysieren möchte, so sollte man die beiden Seiten nicht als $15$ lesen, sondern jeweils als ein neues \anfuehrung{komplexes Zahlwort}{,} das sich aus den Ziffernsymbolen
\mathkor {} {5} {und} {3} {}
und dem Malzeichen $\cdot$ bzw. den Ziffernsymbolen
\mathkor {} {8} {und} {7} {}
und dem Pluszeichen $+$ zusammensetzt. Die linke und die rechte Seite sind hier sogenannte Terme, also sinnvolle mathematische Ausdrücke, die einen Zahlwert annehmen können bzw. formal den Charakter einer Zahl haben
\zusatzklammer {der Vergleich der beiden Terme durch $=$ macht aus den beiden Termen eine Aussage, das spielt jetzt aber noch keine Rolle} {} {.}
Ein weiteres Beispiel ist eine Gleichung der Form
\mavergleichskettedisp
{\vergleichskette
{ 4 \cdot x
}
{ =} { 3 \cdot (8 +y)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wo vermutlich nach den erlaubten Werten für
\mathkor {} {x} {und} {y} {}
gesucht wird, die diese Gleichung erfüllen. Aber unabhängig von dieser typischen Interpretation stehen links und rechts ebenfalls Terme, in denen jeweils eine Variable vorkommt. Solche Terme sind ein konstitutiver Bestandteil der Prädikatenlogik und werden, ausgehend von einer Variablenmenge
\zusatzklammer {keine Aussagenvariablenmenge} {} {,}
einer Konstantenmenge und verschiedenen Funktionssymbolmengen, rekursiv definiert.
\inputdefinition
{}
{
Eine
\definitionswort {Grundtermmenge}{}
besteht aus den folgenden
\zusatzklammer {untereinander disjunkten} {} {}
Mengen.
\aufzaehlungdrei{eine Variablenmenge $V$,
}{eine Konstantenmenge $K$,
}{zu jedem
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{\N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine Menge $F_n$ von Funktionssymbolen.
}
}
Dabei können die auftretenden Mengen leer sein, es ist für die Funktionssymbole sogar typisch, dass es nicht zu jeder Stelligkeit
\zusatzklammer {zu jedem $n$} {} {}
ein Funktionssymbol gibt
\zusatzklammer {die Variablenmenge wird hingegen meistens als nicht leer angesetzt, und zwar mit unendlich vielen Variablen, die häufig als
\mathl{x_1,x_2,x_3, \ldots}{} angesetzt werden} {} {.}
Die Konstanten kann man auch als nullstellige Funktionssymbole auffassen. Unter dem \stichwort {Termalphabet} {} versteht man die Vereinigung
\mavergleichskette
{\vergleichskette
{A
}
{ = }{ V \cup K \cup \bigcup_{n \in \N_+} F_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die arithmetische Grundtermmenge besteht aus den beiden Konstanten
\mathl{0,1}{,} den beiden zweistelligen Funktionssymbolen
\mathl{\{+, \cdot \}}{} und einer Variablenmenge.
\inputdefinition
{}
{
Zu einer
\definitionsverweis {Grundtermmenge}{}{}
\mavergleichskette
{\vergleichskette
{G
}
{ = }{(V,K,F_n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die zugehörige \stichwort {Termmenge} {}
\zusatzklammer {oder die Menge der $G$-Terme} {} {}
diejenige Teilmenge
\mavergleichskette
{\vergleichskette
{T
}
{ = }{T(G)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der Wörter $A^*$ über dem Termalphabet
\mavergleichskette
{\vergleichskette
{A
}
{ = }{V \cup K \cup \bigcup_{n \in \N_+} F_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die durch die folgenden rekursiven Vorschriften festgelegt wird.
\aufzaehlungdrei{Jede Variable
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist ein Term.
}{Jede Konstante
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist ein Term.
}{Für jedes
\mavergleichskette
{\vergleichskette
{f
}
{ \in }{F_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und $n$ Terme
\mathl{t_1 ,t_2, \ldots , t_n}{} ist auch
\mathl{f t_1 t_2 \ldots t_n}{} ein Term.
}
}
Hierbei sind \mathkor {} {(1)} {und} {(2)} {} die Anfangsbedingungen und $(3)$ die Rekursionsregel, da darin auf schon gebildete Terme Bezug genommen wird. Wie bei jeder rekursiven Definition ist ein Wort nur dann ein Term, wenn es gemäß dieser Regeln gebildet werden kann.
Gemäß dieser Definition verzichten wir auf Klammern, und die Funktionssymbole werden einheitlich links geschrieben\zusatzfussnote {Man spricht von \stichwort {polnischer Notation} {}} {.} {} und daran werden rechts davon die Terme angefügt
\zusatzklammer {das wird später so interpretiert, dass in $n$-stellige Funktionen $n$ Elemente eingesetzt werden} {} {.}
Schon in einfachen Beispielen ist es aber wegen der Lesbarkeit sinnvoll, auch Klammern zu verwenden und von der strengen Reihenfolge bei den Funkltionssymbolen abzuweichen und beispielsweise
\mathl{s+t}{} statt
\mathl{+st}{} zu schreiben. Solche Schreibweisen sind als Ersatz für die formal korrekt gebildeten Terme zu interpretieren, sie gehören aber nicht zu den Termen.
\inputbeispiel{}
{
Eine
\definitionsverweis {Grundtermmenge}{}{}
sei durch die Variablenmenge
\mavergleichskette
{\vergleichskette
{V
}
{ = }{\{x,y,z\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
eine Konstantenmenge
\mavergleichskette
{\vergleichskette
{K
}
{ = }{\{c_1,c_2\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die einstelligen Funktionssymbole
\mavergleichskette
{\vergleichskette
{F_1
}
{ = }{\{f,g\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und die zweistelligen Funktionssymbole
\mavergleichskette
{\vergleichskette
{F_2
}
{ = }{\{\alpha, \beta, \gamma\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Dann sind die folgenden Wörter Terme.
\mathdisp {x,y,z,c_1,c_2,fx,fc_1,gz, \alpha x y, \alpha x x, \alpha x fy , \alpha fx gc_1, \gamma \gamma x x x,\beta \alpha x gc_2 \gamma fy \alpha gz x} { . }
Auch wenn es für das Auge etwas ungewohnt aussieht, so sind diese Terme auch ohne Klammern allesamt wohldefiniert. Davon überzeugt man sich, indem man die Terme von links nach rechts liest, und dabei bei jedem Funktionssymbol die zugehörige Stelligkeit bestimmt
\zusatzklammer {zu welchem $F_n$ gehört das Funktionssymbol} {?} {}
und dann die folgenden Symbole in die geforderten $n$ Terme aufspaltet
\zusatzklammer {wenn dies nicht geht, so ist das Wort kein Term} {} {.}
Dabei entsteht schnell eine große Verschachtelungstiefe. Den letzten angeführten Term, also
\mathdisp {\beta \alpha x gc_2 \gamma fy \alpha gz x} { , }
kann man mit
\zusatzklammer {suggestiven} {} {}
Klammern und Kommata nach und nach lesbarer gestalten. Er beginnt mit dem zweistelligen Funktionssymbol $\beta$, also muss das Folgende aus zwei Termen bestehen. Es folgt zunächst das ebenfalls zweistellige Funktionssymbol $\alpha$, worauf zwei Terme folgen müssen. Wenn diese gefunden sind, muss der verbleibende Rest
\zusatzklammer {also alles, was weiter rechts steht} {} {}
den zweiten Term bilden, der von $\beta$ verlangt wird. Die beiden Terme des an zweiter Stelle stehenden $\alpha$ sind
\mathkor {} {x} {und} {gc_2} {.}
Man kann also den Term nach dieser Analyse auch als
\mathdisp {\beta (\alpha (x , g(c_2) ), \gamma fy \alpha gz x)} { }
schreiben. Wenn man ebenso den zweiten Term für das äußere $\beta$ auflöst, so erhält man
\mathdisp {\beta (\alpha (x , g(c_2) ), \gamma ( f(y) , \alpha (g(z) , x)))} { . }
Übrigens kann man auch bei einem beliebigen Funktionssymbol mittendrin beginnen und die zugehörigen Terme, auf die es Bezug nimmt, bestimmen. Besonders übersichtlich wird die Termstruktur durch einen \stichwort {Termstammbaum} {} ausgedrückt. Dabei werden die verwendeten Variablen und Konstanten
\zusatzklammer {mehrfach, um die unterschiedlichen Stellen, in die sie eingesetzt werden, beachten zu können} {} {}
als Blätter\zusatzfussnote {Dies ist die graphentheoretische Bezeichnung für die Startpunkte eines Baumes} {.} {} nebeneinander aufgeführt. Sie bilden die $0$-te Reihe des Baumes. Wenn ein $n$-stelliges Funktionssymbol auf $n$ solche Blätter angewendet wird, so zeichnet man einen Knoten, bezeichnet ihn mit dem Funktionssymbol
\zusatzklammer {bzw. dem Funktionssymbol mit den eingelesenen Termen} {} {}
und verbindet es mit den eingelesenen Blättern
\zusatzklammer {die Einlesungsreihenfolge entspricht der Blätterreihenfolge} {} {.}
So entsteht aus allen Funktionssymbolen, die nur auf Variablen und Konstanten Bezug nehmen, die erste Reihe des Baumes. Die Funktionssymbole, die auf solche Knoten
\zusatzklammer {und Blätter} {} {}
Bezug nehmen, bilden die nächste Reihe, u.s.w. Der Stamm des Baumes ist dann der in Frage stehende Term. In unserem Beispiel sieht das so aus:
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Termstammbaum.png} }
\end{center}
\bildtext {} }
\bildlizenz { Termstammbaum.png } {} {Funnyflowerpot} {Commons} {CC-by-sa 4.0} {}
}
\inputbeispiel{}
{
Wir betrachten ein Modell für die Termmenge der natürlichen Zahlen. Als Grundtermmenge nehmen wir eine Variablenmenge $V$, die Konstantenmenge
\mavergleichskette
{\vergleichskette
{K
}
{ = }{\{0\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
die einstelligen Funktionssymbolmenge
\mavergleichskette
{\vergleichskette
{F_1
}
{ = }{\{N\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {$N$ steht für Nachfolger} {} {}
und die zweistellige Funktionssymbolmenge
\mavergleichskette
{\vergleichskette
{F_2
}
{ = }{\{\alpha, \mu \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {für Addition und Multiplikation} {} {.}
Allein aus der Konstante $0$ und dem Nachfolgersymbol $N$ kann man dann für jede natürliche Zahl eine Repräsentierung finden, nämlich
\mathdisp {N0 \, , NN0, \,NNN0, \, NNNN0, \, etc.} { }
Typische Terme sind dann Ausdrücke wie
\zusatzklammer {$u,v,w$ seien Variablen} {} {}
\mathdisp {\alpha NN0 NNNv,\, \mu NN0 \alpha NN0 NNN0,\, \mu \alpha NNN0 \mu NNu N0 NNNNw, \, \text{etc}.} { }
Wenn man $x'$ statt $Nx$,
\mathl{(x+y)}{} statt
\mathl{\alpha xy}{} und
\mathl{(x \cdot y)}{} statt
\mathl{\mu xy}{} schreibt, so \anfuehrung{verschönern}{} sich diese Terme zu
\mathdisp {(0^{\prime \prime} + v^{\prime \prime \prime} ),\, (0^{\prime \prime} \cdot ( 0^{\prime \prime } + 0^{\prime \prime \prime} )),\, (( 0^{\prime \prime \prime} + ( u^{\prime \prime} \cdot 0^\prime)) \cdot w^{\prime \prime \prime \prime}), \, \text{etc}.} { }
Mit den Abkürzungen
\mavergleichskette
{\vergleichskette
{1
}
{ = }{ 0^\prime
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{2
}
{ = }{ 0^{\prime \prime }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
etc. wird daraus
\mathdisp {2 + v^{\prime \prime \prime} ,\, (2 \cdot (2 + 3 )) ,\, (( 3 + ( u^{\prime \prime} \cdot 1)) \cdot w^{\prime \prime \prime \prime}), \, \text{etc}.} { . }
Man beachte, dass die Einführung dieser Abkürzungen nicht bedeutet, dass dadurch die üblicherweise mit diesen Symbolen verwendeten Rechenregeln erlaubt sind. Der zweite Term oben ist nicht gleich $10$, dem zehnten Nachfolger der $0$.
}
Abschließend erklären wir, was die Variablenmenge eines Terms ist. Diese ist stets eine Teilmenge der Variablenmenge $V$ und enthält diejenigen Variablen, die in dem Term irgendwo vorkommen. Die rekursive Definition lautet folgendermaßen.
\aufzaehlungdrei{Wenn
\mathl{t=x}{} eine Variable ist, so ist
\mathl{\operatorname{Var} (x) =\{x\}}{.}
}{Wenn
\mathl{t=c}{} eine Konstante ist, so ist
\mathl{\operatorname{Var} (c) =\emptyset}{.}
}{Wenn $f$ ein $n$-stelliges Funktionssymbol ist und wenn
\mathl{t_1 , \ldots , t_n}{} Terme sind, so ist
\mathl{\operatorname{Var} (f t_1 , \ldots , t_n) =\operatorname{Var} (t_1) \cup \ldots \cup \operatorname{Var} (t_n)}{.}
}
| << | Kurs:Einführung in die mathematische Logik (Osnabrück 2011-2012) | >> |
|---|