Sie sind auf Seite 1von 101

Prof. Dr. H. Brenner

Einf uhrung¨

Osnabr uck¨ WS 2011/2012

in die mathematische Logik

Vorlesung 1

Probleme

In vielen Lebensbereichen gibt es Probleme: Alltagsproblem e, Beziehungspro- bleme, Gesundheitsprobleme, Gewichtsprobleme, Finanzie rungsprobleme, Umweltprobleme, technische Probleme, politische Probleme , philosophische Probleme. Zu diese Problemen geh ¨oren jeweils Vorstellungen, wie eine L ¨osung aussehen k ¨onnte oder zumindest eine Ahnung, in welche Richtung man nach einer L ¨osung suchen k ¨onnte; eine pr ¨azise Formulierung, wann ein Problem gel ¨ost w¨are, fehlt allerdings in den meisten F ¨allen.

F ur¨ die Probleme gibt es in der Regel verschiedene L ¨osungsans ¨atze oder L ¨osungsstrategien. Ihr Erfolg variiert und h ¨angt stark von unbeeinflussbaren Begleitumst ¨anden, aber auch von der Unsch ¨arfe der Problemstellung und den eigenen Bewertungsmaßst ¨aben ab. Eine Strategie, die fur¨ dieses und jenes Problem erfolgreich war, stellt sich bei einem neuen P roblem pl ¨otzlich als unbrauchbar heraus.

K ¨onnte es eine (Meta)-strategie geben, die bei allen Problem en hilft bzw. alle Probleme l ¨ost? Eine solche Strategie kann es fur¨ die oben formulierten Pro- blembereiche allein schon wegen der angesprochenen Unsch ¨arfe nicht geben. Die Probleme sind nie so klar umrissen, dass Einigkeit dar uber¨ besteht, ob etwas eine L ¨osung ist oder nicht.

Dies sieht bei mathematischen Probleme anders aus. Diese si nd klar formu- liert, zumeist als eine offene Frage, die grunds ¨atzlich nur eine positive oder eine negative Antwort haben kann, und wo die Schwierigkeit da rin besteht, dies herauszufinden und zu begr unden¨ (beweisen), was denn nun der Fall ist.

In der Schule beschr ¨ankt man sich typischerweise auf mathematische Proble- me, fur¨ die dann eine L ¨osungsstrategie vorgestellt wird. Daher fragen viele Menschen, ob es denn in der Mathematik noch was zu entdecken g ibt. In Wahrheit sind die mathematischen Probleme die treibende Kr aft der profes- sionellen Besch ¨aftigung mit Mathematik.

Wir wollen zun ¨achst einige offene mathematische Probleme vorstellen. Im Laufe der Vorlesung werden wir dann die Frage pr ¨azisieren, ob es wenigstens fur¨ diesen Teilbereich des menschlichen Denkens eine univer selle L ¨osungs- strategie geben kann. Die Antwort wurde um 1930 von Kurt G ¨odel bewiesen:

Eine solche Strategie kann es nicht geben.

1

2

Offene mathematische Probleme

Unter den nat urlichen¨ Zahlen versteht man die Menge

N = {0 , 1 , 2 , 3 ,

} .

Wir setzen im Moment diese Menge als gegeben voraus und auch d ie dar- auf definierten Operationen, also die Addition und die Multip likation. Die nat urlichen¨ Zahlen werden zum Z ¨ahlen und Berechnen von endlichen Men- gen verwendet, und im Allgemeinen gibt es dabei keine Problem e. Addition und Multiplikation sind durch einfache Algorithmen durchfuhrbar¨ (in der ma- thematischen Logik spricht man von berechenbar“) und k ¨onnen auch durch eine Maschine ausgefuhrt¨ werden. Man muss aber nicht viel weiter gehen, um Probleme uber¨ nat urliche¨ Zahlen formulieren zu k ¨onnen, fur¨ die derzeit keine L ¨osung bekannt ist.

Eine nat urliche¨ Zahl k heißt Teiler einer nat urlichen¨ Zahl n , wenn es eine weitere nat urliche¨ Zahl m gibt mit n = km .

Definition 1.1 . Eine nat urliche¨

einzigen nat urlichen¨

Zahl n 2 heißt eine Primzahl, wenn die

Teiler von ihr 1 und n sind.

Die ersten Primzahlen sind

2 , 3 , 5 , 7 , 11 , 13 , 17 , 19 , 23 ,

Jede nat urliche¨ Zahl l ¨asst sich als ein Produkt von Primzahlen schreiben, z.B. ist 100 = 2 · 2 · 5 · 5. Dies ist ein Satz der elementaren Zahlentheorie. Ein anderer wichtiger Satz geht auf Euklid zur uck¨ und besagt, dass es unendlich viele Primzahlen gibt. Der Beweis dafur¨ ist ein Widerspruchsbeweis.

Satz 1.2 . Es gibt unendlich viele Primzahlen.

Beweis. Angenommen, die Menge aller Primzahlen sei endlich, sagen wi r

{p 1 ,p 2 ,

,p

r }. Man betrachtet die Zahl

N = p 1 · p 2 · p 3 ·

· p r + 1 .

Diese Zahl ist durch keine der Primzahlen p i teilbar, da bei Division von N durch p i immer ein Rest 1 verbleibt. Damit sind die Primfaktoren von N nicht in der Ausgangsmenge enthalten - Widerspruch.

Dieser Satz ist fur¨ den handwerklichen, alltagstauglichen Umgang mit den nat urlichen¨ Zahlen nicht besonders wichtig, er macht aber eine wichtige Aus- sage uber¨ die Natur der nat urlichen¨ Zahlen. Der Beweis ist recht einfach nach- vollziehbar, aber es ist nicht unmittelbar klar, wie man ein en solchen Beweis findet. Man beachte auch, dass es durchaus m ¨oglich ist, in einem endlichen Text Aussagen uber¨ die Unendlichkeit zu formulieren und zu beweisen.

Es gibt nun in der Mathematik, insbesondere in der Zahlenthe orie, einfach zu formulierende und leicht zu verstehende Aussagen, von denen man bis heute

3

nicht weiß, ob sie wahr oder falsch sind. Dazu geben wir einig e prominente Beispiele.

Das Goldbach-Problem

Problem 1.3 . Gibt es fur¨ jede gerade nat urliche¨ Zahl n 4 Primzahlen p

und q mit n = p + q ?

Die Frage ist also, ob man jede gerade nat urliche¨ Zahl ab 4 als Summe von zwei Primzahlen schreiben kann. Dies kann wahr oder falsch s ein, diese Ei- genschaft kann gelten oder nicht. Bisher ist es aber niemand em gelungen, diese Eigenschaft zu beweisen oder zu widerlegen. Man spricht von einem of- fenen Problem . Die sogenannte Goldbachsche Vermutung besagt, dass dieses Problem eine positive Antwort besitzt. Es ist eine treibende Kraft in der Ma- thematik, eine Vermutung zu best ¨atigen (zu beweisen) oder zu widerlegen.

F ur¨ jede gegebene gerade Zahl n 4 l ¨asst sich in endlich vielen Schritten entscheiden, ob sie eine Summe von zwei Primzahlen ist. Dazu uberpr¨ uft¨ man einfach der Reihe nach die ungeraden Zahlen k < n , ob sie und der komple- ment ¨are Summand n k Primzahlen sind. Falls es ein solches Paar ( k, n k ) gibt, hat man die Goldbacheigenschaft fur¨ diese eine Zahl n best ¨atigt. F ur¨ alle geraden Zahlen n 4, fur¨ die diese Eigenschaft uberpr¨ uft¨ wurde, hat man stets solche Primsummanden gefunden. Inzwischen sind a lle Zahlen bis zur Gr ¨oßenordnung 10 18 uberpr¨ uft.¨ Zum Beispiel ist (es gibt im Allgemeinen mehrere Darstellungen)

4 = 2 + 2 , 6 = 3 + 3 , 8 = 3 + 5 , 10 = 5 + 5 = 3 + 7 , 12 = 5 + 7 , 14 = 3 + 11 = 7 + 7 , 16 = 3 + 13 = 5 + 11 , etc.

Doch solche rechnerischen Ergebnisse sagen letztlich nichts uber¨ die G ultig-¨ keit der Goldbachschen Vermutung aus, bei der es ja nicht dar um geht, fur¨ m ¨oglichst viele und große Zahlen zu zeigen, dass die Goldbach eigenschaft gilt, sondern fur¨ alle.

Grunds ¨atzlich gibt es mehrere M ¨oglichkeiten, wie diese Frage beantwortet werden k ¨onnte. Der einfachste Fall w¨are, wenn man eine konkrete gerade Zahl n 4 angibt und von dieser zeigt, dass sie nicht die Summe von zwe i Primzahlen ist. Der Beweis dafur¨ w¨are dann eventuell sehr lang, man m usste¨ alle m ¨oglichen Summanden uberpr¨ ufen,¨ aber ansonsten anspruchslos. Dann w¨are die Goldbachvermutung falsch. Es ist auch denkbar, dass man zeigt, dass es eine Zahl geben muss, die die Goldbacheigenschaft ni cht erfullt,¨ ohne eine solche konkret anzugeben. Dann w¨are die Goldbachvermutung ebenfalls falsch, ein solcher Beweis k ¨onnte beliebig kompliziert sein. Oder man zeigt, das es fur¨ jede gerade Zahl n 4 eine Summendarstellung mit zwei Prim- zahlen geben muss, wobei ein solcher Beweis wieder beliebig kompliziert sein k ¨onnte und die Goldbachsche Vermutung beweisen wurde.¨ Oder man zeigt

4

sogar, wie man zu einem jeden n ein Primzahlsummandenpaar explizit be- rechnen kann.

Mersenne-Primzahlen

explizit be- rechnen kann. Mersenne-Primzahlen Marin Mersenne (1588-1648) Definition 1.4 . Eine Primzahl

Marin Mersenne (1588-1648)

Definition 1.4 . Eine Primzahl der Form 2 n 1 heißt Mersennesche Prim- zahl.

Generell nennt man die Zahl M n = 2 n 1 die n -te Mersenne-Zahl. Mit die- ser Bezeichnung sind die Mersenne-Primzahlen genau diejen igen Mersenne- Zahlen, die Primzahlen sind. Die Mersennezahl M n = 2 n 1 hat im Dualsy- stem eine Entwicklung, die aus genau n Einsen besteht. Die ersten Mersenne- Primzahlen sind

2 2 1 = 3 , 2 3 1 = 7 , 2 5 1 = 31 , 2 7 1 = 127 .

Die Zahl 2 11 1 = 2047 = 23 · 89 ist die erste Mersenne-Zahl, wo der Exponent zwar prim (der Exponent einer Mersenne-Primzahl muss selbs t eine Primzahl sein, siehe Lemma 13.2 (Zahlentheorie (Osnabr uck¨ 2008)) ) ist, die aber selbst keine Mersenne-Primzahl ist. Dies wurde 1536 von Hudalrichu s Regius (Wal- ter Hermann Ryff) gezeigt. Der n ¨achste Kandidat, n ¨amlich 2 13 1 = 8191, ist wieder prim. Bis ca. 1950 war bekannt, dass fur¨ die Exponenten

2 , 3 , 5 , 7 , 13 , 17 , 19 , 31 , 61 , 89 , 107 und 127

Mersenne-Primzahlen vorliegen, und keine weiteren unterh alb dem Exponen- ten 258. Von verschiedenen Leuten, unter anderem von Catald i und Mersenne selbst, wurden falsche Behauptungen aufgestellt. Ab ca. 195 0 kamen Compu- ter zum Bestimmen von Mersenne-Primzahlen zum Einsatz, und es wurden bisher insgesamt 47 Mersenne-Primzahlen gefunden. Alle gr ¨oßten bekannten

5

Primzahlen sind Mersenne-Zahlen. Das liegt daran, dass es fur¨ diese Zah- len einen vergleichsweise einfachen Primzahltest gibt, n ¨amlich den Lucas- Lehmer-Test . Mit diesem Test wird etwa alle zwei Jahre eine neue gr ¨oßte Primzahl gefunden. Eine Rekordliste findet sich unter Merse nne-Primzahlen auf Wikipedia.

Das Auffinden von großen (Mersenne)-Primzahlen, also der konk rete Nach- weis, dass eine bestimmte Zahl diese Eigenschaft besitzt, i st aber etwas an- deres als der Existenznachweis, dass es innerhalb oder ober halb gewisser Schranken solche Zahlen gibt oder dass es uberhaupt¨ nur endlich oder un- endlich viele solcher Zahlen gibt. Aufgrund des Satzes von Eu klid weiß man, dass es jenseits jeder beliebig großen nat urlichen¨ Zahl noch Primzahlen gibt. F ur¨ Mersenne-Primzahlen ist das unbekannt.

Problem 1.5 . Gibt es unendlich viele Mersenne-Primzahlen?

Wie gesagt, dies ist unbekannt, es wird aber vermutet, dass e s unendlich viele gibt.

Primzahlzwillinge

Definition 1.6 . Ein Primzahlzwilling ist ein Paar bestehend aus p und p +2, wobei diese beiden Zahlen Primzahlen sind.

Die ersten Beispiele fur¨ Primzahlzwillinge sind

(3 , 5) , (5 , 7) , (11 , 13) , (17 , 19) , (29 , 31) ,

¨

Ubrigens ist 3 , 5 , 7 der einzige Primzahldrilling, siehe Aufgabe 1.4 .

Problem 1.7 . Gibt es unendlich viele Primzahlzwillinge?

Der große Fermat und der Satz von Wiles

Aus dem siebzehnten Jahrhundert stammt das Problem, ob die Fe rmat- Gleichungen

x n + y n = z n

fur¨ alle n 3 nur triviale ganzzahlige L ¨osungen, bei denen x = 0 oder y = 0 ist, besitzen. Die entsprechende Fermatsche Vermutung , der sogenannte Große Fermat“, galt lange Zeit als das ber uhmteste¨ offene Problem der Mathematik. Nach rund 350 Jahren wurde der Große Fermat schli eßlich 1995 von Andrew Wiles bewiesen.

6

6 Andrew Wiles (*1953) Satz 1.8 . Die diophantische Gleichung x n + y n =

Andrew Wiles (*1953)

Satz 1.8 . Die diophantische Gleichung

x n + y n = z n

besitzt fur¨ jedes n 3 keine ganzzahlige nichttriviale L¨osung.

Mathematik-geschichtlich gesprochen kann man sagen, dass mathematische Probleme sehr hartn ¨ackig sind, aber fr uher¨ oder sp ¨ater doch gel ¨ost wer- den. Beispielsweise wurden alle Probleme der antiken Mathe matik im Laufe des 19. Jahrhunderts gel ¨ost. Eine wichtige geschichtliche Beobachtung ist auch, dass die L ¨osungen zwar auch mit individuellen H ¨ochstleistungen zu- sammenh ¨angen, aber doch stark von der allgemeinen Entwicklung des m a- thematischen Apparats abh ¨angen. Viele elementar formulierbare Probleme wurden nicht elementar bewiesen, sondern erst durch neue ko mplexe Theo- rien und Methoden, die neue Sichtweisen auf das Problem erm ¨oglichten.

Eine solche geschichtliche Beobachtung tr ¨agt aber nichts zu der Frage bei, ob es eine allgemeine L ¨osungsstratgie fur¨ mathematische Probleme geben

k ¨onnte.

Helfen Maschinen?

Betrachten wir das Goldbach-Problem und nehmen wir fur¨ einen Moment an, dass die Goldbachsche Vermutung nicht stimmt, dass es al so eine ge- rade nat urliche¨ Zahl 4 gibt, die nicht die Summe von zwei Primzahlen ist. Ein Computer, eine Rechenmaschine, nennen wir sie M 1 , die der Reihe nach alle geraden Zahlen auf die Goldbacheigenschaft uberpr¨ uft,¨ wird fr uher¨ oder sp ¨ater auch diese Zahl erreichen und feststellen, dass sie nicht diese Eigenschaft besitzt und wird damit die Vermutung widerlege n.

7

Nehmen wir nun an, dass die Goldbachsche Vermutung stimmt, un d dass es dafur¨ einen Beweis gibt, der in normaler Sprache formuliert wer den kann. Eine zweite Rechenmaschine M 2 drucke nach und nach alle m ¨oglichen Texte (in aufsteigender L ¨ange) aus. Nehmen wir an, dass M 2 erkennen kann, ob ein Text aus sinnvollen W¨ortern und S ¨atzen besteht, ob es sich um einen korrekten mathematischen Beweis handelt und ob dieser die G oldbachsche Vermutung beweist. Dann wird M 2 fr uher¨ oder sp ¨ater einen Beweis fur¨ die Goldbachsche Vermutung ausgeben und dieses auch erkennen.

Da wir nicht wissen, ob die Goldbachsche Vermutung wahr ist o der nicht, kombinieren wir die beiden Maschinen zu einer einzigen Maschine M , die abwechselnd die M 1 -Funktion und die M 2 -Funktion ausfuhrt.¨ D.h., dass M abwechselnd eine Zahl uberpr¨ uft,¨ ob sie der Goldbachschen Vermutung wi- derspricht, und sodann einen Text uberpr¨ uft,¨ ob er einen Beweis fur¨ die Goldbachsche Vermutung beinhaltet. Da die Goldbachsche Ve rmutung wahr oder falsch ist, wird fr uher¨ oder sp ¨ater M ein Gegenbeispiel oder einen Beweis finden und somit das Problem entscheiden. 1

Universelle L ¨osungsverfahren

Wir haben anhand einiger Beispiele gesehen, dass man mit seh r elementaren Mitteln offene Probleme formulieren kann, fur¨ die Mathematiker trotz jahr- hundertelanger Bem uhungen¨ keine Antwort finden konnten. Zugleich gab es ¨ahnliche Fragen, die lange Zeit offen waren, und dann irgendwann pl ¨otzlich gel ¨ost werden konnten.

Alles in allem ist die L ¨osung von mathematischen Problemen ein extrem z ¨aher Prozess. Warum hatte Wiles den Schl ussel¨ zum Fermatproblem, aber nicht auch zu den drei anderen oben genannten Problemen? Wir d es irgend- wann einmal einen Menschen geben, der alle bis dahin offenen P robleme l ¨osen kann? Gibt es außerirdische Intelligenz, die alle mathemat ischen Probleme l ¨osen kann?

In dieser Vorlesung soll es um eine Variante dieser Frageste llung gehen, n ¨amlich um die Frage, ob es eine universelle Strategie geben kann, mit der man s ¨amtliche mathematische Probleme angehen k ¨onnte, oder zumindest sol- che, die sich fur¨ die nat urlichen¨ Zahlen in einfacher Weise formulieren lassen. Von einer solchen Strategie wurde¨ man die folgenden Eigenschaften erwarten.

1 Die beiden anderen oben erw¨ahnten Probleme uber¨ Mersenne-Primzahlen und Prim- zahlzwillinge sind von einer anderen Bauart“ und fur¨ M 1 gibt es keine direkte Entspre- chung. Man kann allerdings die Idee von M 2 radikalisieren und M 1 analog zu M 2 aufbauen, indem man M 1 ebenfalls Beweise ausgeben l¨asst, jetzt aber uberpr¨ uft,¨ ob es sich um einen korrekten Beweis fur¨ die Negation der Behauptung handelt. Naturlich¨ kann man dann M 1 und M 2 unmittelbar zu einer Maschine M kombinieren, die Beweise ausgibt und uberpr¨ uft,¨ ob sie die Aussage oder ihre Negation beweist.

8

(1) Die Strategie ist fixiert (durch einen endlichen Text, ei n Programm,

eine Maschine). (2) Die Strategie ist deterministisch und ist nicht auf neue Einf¨alle, In- tuition, Genialit ¨at angewiesen. (3) Sie fuhrt,¨ angesetzt auf jedes Problem, zu einer (richtigen) L ¨osung. (4) Dabei braucht die Durchfuhrung¨ der Strategie nur endlich viele Schritte (die Anzahl der ben ¨otigten Schritte darf vom Problem ab-

h ¨angen).

i g t e n Schritte darf vom Problem ab- h ¨angen). Ramon Llull (1232-1316) Gottfried

Ramon Llull (1232-1316)

darf vom Problem ab- h ¨angen). Ramon Llull (1232-1316) Gottfried Wilhelm Leibniz (1646-1716) Die Pr ¨

Gottfried Wilhelm Leibniz (1646-1716)

Die Pr ¨azisierung dieser Idee fuhrt¨ zu der Frage, ob es einen Algorithmus ge- ben kann, der alle (zahlentheoretischen) Probleme l ¨ost. In vielen mathema- tischen Teilbereichen gibt es solche Algorithmen, z.B. das e ingangs erw¨ahnte

9

Addieren oder Multiplizieren von nat urlichen¨ Zahlen, die Bestimmung, ob eine vorgegebene nat urliche¨ Zahl eine Primzahl ist, das L ¨osen von linearen Gleichungssystemen, u.s.w. Ein solcher universeller Algor ithmus bzw. eine Maschine, worauf dieser universelle Algorithmus l ¨auft, w¨are sicher eine Sen- sation und wurde¨ die mathematische Welt enorm ver ¨andern. Selbst dann, wenn er so aufw¨andig w¨are, dass er nie in der Zeitspanne eines Menschen (oder des Universums) zu einem einzigen Resultat gelangen wurde,¨ so w¨are doch allein schon der Nachweis der prinzipiellen Existenz ei ne gewaltige theo- retische Erkenntnis. Gedanken zu einer solchen Maschine fin den sich bei Llull und bei Leibniz.

In dieser Vorlesung werden wir mathematisch beweisen, dass es einen sol- chen universellen Algorithmus nicht geben kann, und zwar noch nicht einmal fur¨ den Bereich der nat urlichen¨ Zahlen. Dies ist einer der Haupts ¨atze von Kurt G ¨odel. Wichtig ist an dieser Stelle zu betonen, dass es sich da bei um mathematische S ¨atze handelt, nicht um philosophische S ¨atze, auch wenn sie erkenntnistheoretisch interpretiert werden k ¨onnen. Es gibt auch keinen phi- losophischen Ersatz fur¨ diese S ¨atze, etwa im Sinne, weil die Welt komplex und die Sprache unscharf ist gibt es immer Probleme“. Das w¨are etwa so, wie wenn man die Relativit ¨atstheorie mit den Worten alles ist relativ“ gleich- setzt. Das eine ist eine mathematisch-physikalische Theor ie, das andere ein nichtssagender Allgemeinplatz.

Obwohl die Unvollst ¨andigkeitss ¨atze deutliche Schranken fur¨ die maschinel- le Entscheidbarkeit und Beweisbarkeit von mathematischen S ¨atzen setzen, gibt es auch starke Resultate, die besagen, dass viele mathe matische T¨atig- keiten maschinell durchfuhrbar¨ sind. Der ebenfalls auf G ¨odel zur uckgehende¨ Vollst ¨andigkeitssatz sagt, dass Beweise fur¨ S ¨atze der ersten Stufe“ als eine formale Ableitung aus Axiomen realisiert werden k ¨onnen, und dass damit die Korrektheit von Beweisen grunds ¨atzlich mechanisch uberpr¨ uft¨ werden kann und dass alle korrekten Beweise mechanisch aufz ¨ahlbar sind. Das oben am Beispiel der Goldbachschen Vermutung angedachte Aufz ¨ahlungsprinzip fur¨ mathematische Beweise ist also prinzipiell realistisch (e in Problem dabei ist, dass die nat urlichen¨ Zahlen nicht einstufig axiomatisierbar sind, sieh e Satz

12.11).

Die Behandlung der Ergebnisse von G ¨odel setzt mehrere mathematische Pr ¨azisierungen voraus: Eine axiomatische Pr ¨azisierung der nat urlichen¨ Zah- len, eine Pr ¨azisierung der mathematischen Sprache, in der mathematische Aussagen formuliert werden k ¨onnen, eine Pr ¨azisierung von Beweis, eine Pr ¨azi- sierung von Algorithmus (mit Hilfe von rekursiven Funktionen , Turing-Ma- schine, Registermaschine, etc.). Dies alles ist der Inhalt der folgenden Vorle- sungen.

Abbildungsverzeichnis

Quelle = Marin Mersenne.jpeg , Autor = Benutzer Maksim auf Commons, Lizenz = PD

4

Quelle = Andrew wiles1-3.jpg , Autor = C. J. Mozzochi, Princeto n N.J (= Benutzer Nyks auf Commons), Lizenz = freie Verwendung, copyright C. J. Mozzochi, Princeton N.J.

6

Quelle = Ramon Llull.jpg , Autor = Benutzer Pil56 auf Commons, Lizenz = gemeinfrei

8

Quelle = Gottfried Wilhelm Leibniz c1700.jpg , Autor = Johann Friedrich

¨

Wentzel d. A. (= Benutzer AndreasPraefcke auf Commons), Lizenz

= PD

8

11

Prof. Dr. H. Brenner

Einf uhrung¨

Osnabr uck¨ WS 2011/2012

in die mathematische Logik

Vorlesung 2

Sprache als Symbolketten

Wir kn upfen¨

ne (einen Computer, einen Algorithmus) gibt, die mathematis che Aussagen ausdr ucken,¨ ausdrucken, uberpr¨ ufen,¨ beweisen oder widerlegen kann. Eine solche Maschine operiert mit Zeichenreihen, die wir in dies em Zusammen- hang eine (formale) Sprache nennen.

an die Uberlegungen der ersten Vorlesung an, ob es eine Maschi-

¨

Definition 2.1 . Es sei A eine Menge von Symbolen. Dann nennt man jede (endliche) Zeichenreihe, die man mit den Elementen aus A aufstellen kann,

ein Wort uber¨

dem Alphabet A.

Die Menge aller W¨orter uber¨ dem Alphabet A bezeichnen wir mit A .

Das zugrunde liegende Alphabet kann endlich oder unendlich s ein, fur¨ prak- tische Anwendungen reicht ein endliches Alphabet. Die Elemente des Alpha- bets nennt man Buchstaben, Zeichen oder Symbole. Mit einer Z eichenreihe meint man eine hintereinander geschriebene Buchstabenket te (oder Symbol- kette). Dazu geh ¨oren die einelementigen Ketten, also die Elemente aus A selbst, aber auch die leere Kette (das leere Wort), die wir mi t bezeichnen. Bei dieser Definition kommt es nicht auf irgendeine Sinnhaft igkeit der W¨orter an, es handelt sich um eine rein formale Definition.

Beispiel 2.2 . Es sei ein einelementiges Alphabet A = {|} gegeben. Dann besitzt jedes Wort die Gestalt

|||

.

.

.

|

mit einer gewissen Anzahl von Strichen. Zwei solche W¨orter sind genau dann gleich, wenn ihre Strichanzahl ubereinstimmt.¨ In diesem Fall entsprechen also die W¨orter den nat urlichen¨ Zahlen (das leere Wort entspricht der 0).

Beispiel 2.3 . Die DNA-Str ¨ange, die die Erbinformationen aller Lebewesen tragen, sind Doppelketten in Helixform aus Nukleotiden. Die e ntscheidenden Bestandteile der Nukleotiden sind die Basen, wofur¨ es nur vier M ¨oglichkeiten gibt, n ¨amlich Adenin (A), Thymin (T), Guanin (G) und Cytosin (C). Die Nukleotiden treten in der Helix stets mit einem festen Partner (n ¨amlich Ade- nin mit Thymin und Guanin mit Cytosin) auf, so dass die Strukt ur durch die eine H ¨alfte der Helix festgelegt ist. Daher entspricht die genetis che Informati- on eines DNA-Stranges einem Wort uber¨ dem Alphabet mit den Buchstaben A,T,G,C.

1

2

2 Wenn zu einem Alphabet A ein neues Zeichen − als ” Leerzeichen“ hinzu- genommen wird,

Wenn zu einem Alphabet A ein neues Zeichen als Leerzeichen“ hinzu- genommen wird, so werden manchmal die W¨orter aus A als (eigentliche) W¨orter und die W¨orter aus dem Alphabet A ∪ {−} als Texte (oder S ¨atze) bezeichnet. Mit der Hinzunahme eines weiteren Satzbeendung ssymbols kann man auch zwischen S ¨atzen und Texten unterscheiden.

Die geschriebene nat urliche¨

buchstaben A,B,C, ,Z,

Ziffern, den Satzzeichen und einem Leerzeichen f ur¨ den Abstand zwischen den W¨ortern besteht. Jede lineare Hintereinanderreihung dieser Zeichen gilt fur¨ uns als Text. Im Moment interessieren wir uns nicht daf ur,¨ ob die ge- schriebenen Texte syntaktisch richtig gebildet oder semantisch erlaubt sind. Im Moment ist also z.B.

!! fL 33 kAs., r

ein erlaubter Text.

den

Sprache umfasst das Alphabet, das aus den Groß- ¨

A, ¨ O, ¨ U, den Kleinbuchstaben a,b,c,

,z, ¨a, ¨o, u,ß,¨

In der Definition von einem Wort uber¨ einem Alphabet haben wir von ei- ner Menge gesprochen und somit eine naive Mengenlehre vorau sgesetzt. Im endlichen Fall wird die Symbolmenge einfach durch Auflisten i hrer Elemente gegeben. F ur¨ die gebildeten W¨orter haben wir implizit verwendet, dass das Bilden von linearen Zeichenreihen unproblematisch ist.

Rekursive Definitionen

Ein wichtiges Prinzip, Mengen zu definieren, ist das der rekursiven Definition . Eine rekursive Definition besteht aus zwei Sorten von Regeln . (1) Einerseits gewisse Startregeln, die sagen, was direkt zu der Menge geh ¨ort, und (2) Re- kursionsregeln, die die Form einer Bedingung haben, und bes agen, dass wenn gewisse Objekte zu der Menge geh ¨oren, und wenn neue Objekte aus diesen Objekten in bestimmter Weise gebildet sind, dass dann diese neuen Objekte

3

ebenfalls dazu geh ¨oren (die dritte stillschweigende Bedingung an eine rekur- sive Definition ist, dass es keine weitere M ¨oglichkeit gibt, zu der Menge zu geh ¨oren, außer den in (1) und (2) genannten).

einem Alphabet A kann man auch folgenderma-

Die Menge der W¨orter uber¨ ßen rekursiv definieren.

(1) ist ein Wort uber¨

(2) Wenn x ein Wort ist und a A ein Buchstabe, so ist auch xa ein

A.

Wort.

Hier repr ¨asentiert x (eine Variable) ein beliebiges schon konstruiertes Wort. Dabei ist a als a zu lesen, so dass die beiden erlaubten Konstruktionsschrit te (also der Anfangsschritt und der Rekursionsschritt) sicher n, dass die einzel- nen Symbole aus A W¨orter sind. Wenn das Alphabet durch A = {a, b, c } gegeben ist, so wurde¨ der rekursive Nachweis, dass abbac ein Wort ist, fol- gendermaßen gehen.

(1) Wegen der Anfangsbedingung ist ein Wort. (2) Deshalb und wegen des Rekursionsschrittes ist a = a ein Wort. (3) Deshalb und wegen des Rekursionsschrittes ist ab ein Wort (hier ist also x = a das schon nachgewiesene Wort und der Buchstabe b wird angeh ¨angt). (4) Deshalb und wegen des Rekursionsschrittes ist abb ein Wort (hier ist also x = ab das schon nachgewiesene Wort und der Buchstabe b wird angeh ¨angt). (5) Deshalb und wegen des Rekursionsschrittes ist abba ein Wort (hier ist also x = abb das schon nachgewiesene Wort und der Buchstabe

a wird angeh ¨angt).

(6) Deshalb und wegen des Rekursionsschrittes ist abbac ein Wort (hier

ist also x = abba das schon nachgewiesene Wort und der Buchstabe

c wird angeh ¨angt).

Nat urlich¨ kann man abbac sofort ansehen, dass es sich um eine linear angeord- nete Zeichenreihe uber¨ {a, b, c } handelt, und der rekursive Nachweis scheint ubertrieben¨ pedantisch zu sein. Bei komplexer gebildeten M engen ist aber die rekursive Definition unerl ¨asslich, vor allem auch deshalb, da sie erm ¨oglicht, Eigenschaften der Elemente einer Menge uber¨ den rekursiven Aufbau nach- zuweisen.

Eine Sprache besteht aus sinnvollen W¨ortern und sinnvollen S ¨atzen, nicht aus der beliebigen Aneinanderreihung von Symbolen oder Buch staben (oder Lauten). Es ist aber vorteilhaft, erstmal alle M ¨oglichkeiten zuzulassen und daraus durch eine Vorgabe von Regeln die sinnvollen Ausdr ucke,¨ W¨orter, Lautkombinationen herauszufiltern. So funktioniert auch d er kleinkindliche Spracherwerb und der Aufbau der formalen Sprachen. Wir werde n nun den rekursiven Aufbau von syntaktisch korrekten Termen besprechen.

4

Terme

Betrachten wir die sinnvollen Ausdr ucke,¨ die fur¨ eine nat urliche¨ Zahl ste- hen k ¨onnen. Mit dem Ziffernalphabet Z = {0 , 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 } kann man mit den obigen Vorschriften alle nat urlichen¨ Zahlen (im Zehnersystem) auf- schreiben, z.B. 530386275. Allerdings gibt es hier ein paar S chwierigkeiten, es sind n ¨amlich auch die Zahlen 0530386275, 00530386275, u.s.w. erl aubt (und untereinander verschieden, da sie eben unterschiedliche S ymbolfolgen sind). Der Zahlenwert“ steht im Moment noch nicht zur Verfugung.¨ Ferner m ¨ochte man das leere Zahlwort nicht als erlaubte Ziffernfolge anseh en.

Mit dieser Menge an erlaubten Zahlw¨ortern kann man Telefonnummern oder Internetadressen bezeichnen, aber noch nicht das machen, was man eigentlich mit Zahlen machen m ¨ochte, n ¨amlich Z ¨ahlen, Rechnen, Probleme formulieren und l ¨osen. F ur¨ die innerhalb der nat urlichen¨ Zahlen ausfuhrbaren¨ Rechen- operationen, insbesondere das Nachfolgernehmen (also das Z ¨ahlen) und die Addition und die Multiplikation, brauchen wir neue Symbole. Eine Aussage wie

5 · 3 = 8 + 7 ist nat urlich¨ wahr, da links und rechts 15 steht“, wie man durch ausrech- nen“ (also das korrekte Anwenden der Rechenregeln) uberpr¨ ufen¨ kann. Wenn man allerdings solche Gleichungen logisch verstehen und an alysieren m ¨ochte, so sollte man die beiden Seiten nicht als 15 lesen, sondern je weils als ein neues komplexes Zahlwort“, das sich aus den Ziffernsymbolen 5 und 3 und dem Malzeichen · bzw. den Ziffernsymbolen 8 und 7 und dem Pluszeichen + zusammensetzt. Noch deutlicher ist dies in einer Gleichung d er Form

4 · x = 3 · (8 + y ) ,

wo vermutlich nach den erlaubten Werten fur¨ x und y gesucht wird, die diese Gleichung erfullen.¨ Die linke und die rechte Seite sind hier sogenannte Te r- me, also sinnvolle mathematische Ausdr ucke,¨ die einen Zahlwert annehmen k ¨onnen (der Vergleich der beiden Terme durch = macht aus den be iden Ter- men eine Aussage, das spielt jetzt aber noch keine Rolle). Sol che Termmengen werden, ausgehend von einer Variablenmenge, einer Konstantenmenge und verschiedenen Funktionssymbolmengen, rekursiv definiert .

Definition 2.4 . Eine Grundtermmenge besteht aus den folgenden (unter- einander disjunkten 1 ) Mengen.

(1) eine Variablenmenge V , (2) eine Konstantenmenge K , (3) zu jedem n N + eine Menge F n von Funktionssymbolen.

Dabei k ¨onnen die auftretenden Mengen leer sein, es ist fur¨ die Funktions- symbole sogar typisch, dass es nicht zu jeder Stelligkeit (z u jedem n ) ein

1 Zwei Mengen L und M heißen disjunkt , wenn ihr Durchschnitt L M = ist.

5

Funktionssymbol gibt. Die Konstanten kann man auch als null stellige Funk- tionssymbole auffassen. Unter dem Termalphabet versteht man die Vereini- gung

A = V K F n .

n N +

Die arithmetische Grundtermmenge besteht aus den beiden Ko nstanten 0 , 1

und den beiden zweistelligen Funktionssymbolen {+ , ·}. Die Variablenmenge

wird h ¨aug als x 1 , x 2 , x 3 ,

Definition 2.5 . Zu einer Grundtermmenge G = ( V, K, F n ) ist die zugeh ¨ori- ge Termmenge (oder die Menge der G -Terme) diejenige Teilmenge T = T ( G ) der W¨orter A uber¨ dem Termalphabet A = V K n N + F n , die durch die folgenden rekursiven Vorschriften festgelegt wird.

angesetzt.

(1) Jede Variable v V ist ein Term.

(2) Jede Konstante c K ist ein Term.

(3) F ur¨ jedes f F n und Term.

n Terme t 1 , t 2 ,

, t n ist auch f t 1 t 2

t n ein

Hierbei sind (1) und (2) die Anfangsbedingungen und (3) der Rek ursions- schritt, da darin auf schon gebildete Terme Bezug genommen wird. Wie bei jeder rekursiven Definition ist ein Wort nur dann ein Term, we nn es gem ¨aß dieser Regeln gebildet werden kann.

Gem ¨aß dieser Definition verzichten wir auf Klammern; schon in ei nfachen Beispielen ist es aber wegen der Lesbarkeit sinnvoll, auch K lammern zu ver- wenden. Ebenso werden die Funktionssymbole einheitlich li nks geschrieben 2 und daran werden rechts davon die Terme angefugt¨ (das wird sp ¨ater so in- terpretiert, dass in n -stellige Funktionen n Terme eingesetzt werden). Auch hierbei ist es in Beispielen sinnvoll, von dieser strengen R eihenfolge abzuwei- chen und beispielsweise a + b statt + ab zu schreiben.

Beispiel 2.6 . Eine Grundtermmenge sei durch die Variablenmenge V =

{x, y, z }, eine

Konstantenmenge K = {c 1 , c 2 }, die einstelligen Funktions-

symbole F 1 = {f, g } und die zweistelligen Funktionssymbole F 2 = {α, β, γ } gegeben. Dann sind die folgenden W¨orter Terme.

x, y, z, c 1 , c 2 , fx, fy, f c 1 , gz, αxy, αxx, αxfy, αfxgc 1 , γγxxx, βαxgc 2 γfyαgzx .

Auch wenn es fur¨ das Auge etwas ungewohnt aussieht, so sind diese Ter- me auch ohne Klammern allesamt wohldefiniert. Davon uberzeugt¨ man sich, indem man die Terme von links nach rechts liest, und dabei bei jedem Funk- tionssymbol die zugeh ¨orige Stelligkeit bestimmt (zu welchem F n geh ¨ort das Funktionssymbol) und dann die folgenden Symbole in die gefo rderten n Ter- me aufspaltet (wenn dies nicht geht, so ist das Wort kein Term ). Dabei ent- steht schnell eine große Verschachtelungstiefe. Den letzt en angefuhrten¨ Term,

2 Man spricht von polnischer Notation.

6

also

βαxgc 2 γfyαgzx ,

kann man mit (suggestiven) Klammern und Kommata nach und nach les- barer gestalten. Er beginnt mit dem zweistelligen Funktion ssymbol β , also muss das Folgende aus zwei Termen bestehen. Es folgt zun ¨achst das ebenfalls zweistellige Funktionssymbol α , worauf zwei Terme folgen m ussen.¨ Wenn die- se gefunden sind, muss der verbleibende Rest (also alles, wa s weiter rechts steht) den zweiten Term bilden, der von β verlangt wird. Die zwei Terme des an zweiter Stelle stehenden α sind x und gc 2 . Man kann also den Term nach dieser Analyse auch als

β ( α ( x, g ( c 2 )) , γfyαgzx )

schreiben. Wenn man ebenso den zweiten Term fur¨ das ¨außere β aufl ¨ost, so erh ¨alt man

β ( α ( x, g ( c 2 )) , γ ( fy, α ( g ( z ) , x ))) .

Ubrigens kann man auch bei einem beliebigen Funktionssymbol mittendrin beginnen und die zugeh ¨origen Terme, auf die es Bezug nimmt, bestimmen. Besonders ubersichtlich¨ wird die Termstruktur durch einen Termstammbaum ausgedr uckt.¨ Dabei werden die verwendeten Variablen und Konstante n (mehr- fach, um die unterschiedlichen Stellen, in die sie eingeset zt werden, beachten zu k ¨onnen) als Bl ¨atter 3 nebeneinander aufgefuhrt.¨ Sie bilden die 0-te Rei- he des Baumes. Wenn ein n -stelliges Funktionssymbol auf n solche Bl ¨atter angewendet wird, so zeichnet man einen Knoten, bezeichnet i hn mit dem Funktionssymbol (bzw. dem Funktionssymbol mit den eingele senen Termen) und verbindet es mit den eingelesenen Bl ¨attern (die Einlesungsreihenfolge entspricht der Bl ¨atterreihenfolge). So entsteht aus allen Funktionssymbol en, die nur auf Variablen und Konstanten Bezug nehmen, die erste Reihe des Baumes. Die Funktionssymbole, die auf solche Knoten (und Bl ¨atter) Bezug nehmen, bilden die n ¨achste Reihe, u.s.w. Der Stamm des Baumes ist dann der in Frage stehende Term. In unserem Beispiel sieht das so a us:

¨

.

x

|

|

.

.

c 2

|

gc 2

|

αxgc 2

|

|

.

.

.

y

z

x

|

|

|

fy

gz

|

|

|

|

.

.

.

αgzx

.

.

.

|

γfyαgzx

|

βαxyc 2 γfyαgzx

3 Dies ist die graphentheoretische Bezeichnung f ur¨ die Startpunkte eines Baumes.

7

Beispiel 2.7 . Wir betrachten ein Modell fur¨ die Termmenge der nat urli-¨ chen Zahlen. Als Grundtermmenge nehmen wir eine Variablenme nge V , die Konstantenmenge K = {0 }, die einstelligen Funktionssymbolmenge F 1 = {N } ( N steht fur¨ Nachfolger) und die zweistellige Funktionssymbolmenge F 2 = {α, µ } (fur¨ Addition und Multiplikation). Allein aus der Konstante 0 und dem Nachfolgersymbol N kann man dann fur¨ jede nat urliche¨ Zahl eine Repr ¨asentierung finden, n ¨amlich

N 0 , NN 0 , NNN 0 , NNNN 0 , etc.

Typische Terme sind dann Ausdr ucke¨ wie ( u, v, w seien Variablen)

αNN 0 NNNv, µNN 0 αNN 0 NNN 0 , µαNNN 0 µNNuN 0 NNNNw, etc .

Wenn man x statt Nx , ( x + y ) statt αxy und ( x · y ) statt µxy schreibt, so versch ¨onern sich diese Terme zu

(0 + v ) , (0 · (0 + 0 )) , ((0 + ( u · 0 )) · w ) , etc .

Mit den Abk urzungen¨ 1 = 0 , 2 = 0 etc. wird daraus

2 + v , (2 · (2 + 3)) , ((3 + ( u · 1)) · w ) , etc

Man beachte, dass die Einfuhrung¨ dieser Abk urzungen¨ nicht bedeutet, dass dadurch die ublicherweise¨ mit diesen Symbolen verwendeten Rechenrege ln erlaubt sind. Im Moment ist der zweite Term oben nicht gleich 10, dem zehnten Nachfolger der 0.

Abschließend erkl ¨aren wir, was die Variablenmenge eines Terms ist. Diese ist stets eine Teilmenge der Variablenmenge V und enth ¨alt diejenigen Varia- blen, die in dem Term irgendwo vorkommen. Die rekursive Defin ition lautet folgendermaßen.

(1) Wenn t = x eine Variable ist, so ist Var( x ) = {x }. (2) Wenn t = c eine Konstante ist, so ist Var( c ) = .

(3) Wenn f ein n -stelliges Funktionssymbol ist und wenn t 1 ,

me sind, so ist Var( f t 1 ,

, t n ) = Var( t 1 )

Var( t n ).

, t n Ter-

Abbildungsverzeichnis

Quelle = DNA structure and bases FR.svg , Autor = Benutzer Dosto auf Commons, Lizenz = CC-by-sa 2.5

9

2

Prof. Dr. H. Brenner

Einfuhrung¨

Osnabruck¨

WS 2011/2012

in die mathematische Logik

Vorlesung 3

Pr ¨adikatenlogik

in die mathematische Logik Vorlesung 3 Pr ¨adikatenlogik Aristoteles (384-322 v.C.) gilt als Erfinder der Pr

Aristoteles (384-322 v.C.) gilt als Erfinder der Pr ¨adikatenlogik. Er verwendet in seiner Analytik Variablen, einstellige Pr ¨adikate, Quantoren und die logischen Junktoren.

Wir beginnen mit dem syntaktischen Aufbau der Pr ¨adikatenlogik mit Iden- tit ¨at. Um den Aufbau dieser formalen Sprache zu motivieren und das Ver- st ¨andnis der zun ¨achst rein formalen Ausdr ucke¨ zu erleichtern, ist es hilfreich, an Bildungsweisen von mathematischen Aussagen zu erinnern. Der konse- quente Aufbau der Semantik folgt in der n ¨achsten Vorlesung.

Relationen

Ein Term kann weder wahr noch falsch sein, und zwar unabh ¨angig davon, ob man ihn einfach als ein nach gewissen formalen Regeln aufg ebautes Sym- bolwort auffasst oder ihn in einer bestimmten Menge (etwa den nat urlichen¨

1

2

Zahlen) interpretiert. Wahr oder falsch k ¨onnen nur Aussagen sein. Wichtig sind fur¨ uns zun ¨achst die formalen Eigenschaften einer Aussage. In mathe- matischen Aussagen kommen h ¨aug Terme zusammen mit einem Vergleichs- symbol vor, z. B. in der (wahren) Gleichung

2 · (2 + 3) = 10

oder der (falschen) Absch ¨atzung

2 · (2 + 3) < 10 .

Mit zwei Termen und dem Gleichheitszeichen oder Kleinerzei chen gelangt man also zu Aussagen, man spricht von zweistelligen Relation en (in Logik und Grammatik auch von zweistelligen Pr ¨adikaten). Der Wahrheitsgehalt h ¨angt dabei von den zwei Eingaben ab.

Eine einstellige Relation oder ein Pr ¨adikat ist eine Eigenschaftsform, die ei- nem Element zukommen kann oder nicht, z.B. die Eigenschaft e iner nat urli-¨ chen Zahl, prim zu sein oder gerade zu sein oder eine Quadratz ahl zu sein, oder das Positivit ¨atspr ¨adikat, das besagt, dass eine reelle Zahl positiv ist. Einstellige Pr ¨adikate definieren eine Teilmenge einer gegebenen Grundmen - ge: einem einstelligen Pr ¨adikat wird diejenige Teilmenge zugeordnet, die aus allen Elementen besteht, fur¨ die das Pr ¨adikat gilt. Daher entspricht die Men- genlehre der Pr ¨adikatenlogik mit nur einstelligen Pr ¨adikaten.

Mit n -stelligen Relationenssymbolen und n Termen gelangt man ebenfalls zu einer Aussage. Wenn z.B. A, B, C als Punkte in der Ebene interpretiert wer- den k ¨onnen, und G die Relation bildet ein gleichseitiges Dreieck“ bedeutet, so bedeutet G ( A, B, C ), dass diese drei Punkte ein gleichseitiges Dreieck bil- den. Der Wahrheitsgehalt h ¨angt nat urlich¨ von der Lage der Punkte A, B, C ab, hier interessiert aber lediglich, dass G ( A, B, C ) eine sinnvolle Aussage- form repr ¨asentiert.

Andere geometrische Beispiele fur¨ dreistellige Relationen sind die Eigen- schaften, dass die drei Punkte A, B, C auf einer Geraden liegen, sagen wir L ( A, B, C ), oder dass die drei Punkte ein rechtwinkliges Dreieck bild en, wo- bei der rechte Winkel an dem zuerst genannten Eckpunkt liege n muss, sagen wir R ( A, B, C ). Man kann sich dar uber¨ streiten, ob bei einem Dreieck die Eckpunkte alle verschieden sein m ussen,¨ jedenfalls kann man die Eigenschaft der drei Punkte, dass sie paarweise verschieden sind, durch ein dreistelliges Pr ¨adikat ausdr ucken,¨ sagen wir E ( A, B, C ).

Quantoren

Mathematische Aussage enthalten h ¨aug auch Existenzaussagen. Wenn wir bei dem eben erw¨ahnten Beispiel bleiben, so bedeutet

es gibt z G ( A, B, z )

3

die Aussage, dass es zu gegebenen festen A und B ein z gibt derart, dass die

drei Punkte A, B, z ein gleichseitiges Dreieck bilden (diese Aussage ist in der

z quantifiziert,

nicht uber¨

es gibt x und es gibt y und es gibt z G ( x, y, z ) ,

was bedeutet, dass es Punkte x, y, z gibt, die ein gleichseitiges Dreieck bilden, die wahr ist, aber deutlich schw¨acher als die Aussage

fur¨ alle x und fur¨ alle y gibt es z G ( x, y, z )

ist, die behauptet, dass es zu (beliebig vorgegebenen) Eckp unkten x und y stets einen dritten Punkt gibt, so dass ein gleichseitiges D reieck entsteht. 1 Die Ausdr ucke¨ es gibt“ und fur¨ alle“ nennt man Quantoren . F ur¨ diese Quantoren gibt es spezielle Symbole, n ¨amlich fur¨ es gibt“ und fur¨ fur¨ alle“. Die obigen Beispiels ¨atze schreibt man dann formal als

reellen Zahlenebene wahr). In dem Beispielsatz wird nur uber¨

A und B . Dies kann man durch die folgenden Aussagen erreichen.

x y zG ( x, y, z )

bzw. als

x y zG ( x, y, z ) .

Auf die Reihenfolge bei gleichartigen Quantoren kommt es nicht an (dies ist von der inhaltlichen Bedeutung her klar, wird sp ¨ater aber auch formal im Ableitungskalk ul¨ nachgebildet), sie ist aber bei wechselnden Quantoren entscheidend. Beispielsweise ist die Aussage

z x yG ( x, y, z )

(also die Aussage, dass es einen Punkt gibt, der mit je zwei and eren beliebi- gen Punkten eine gleichseitiges Dreieck bildet) im Gegensa tz zur vorherigen Aussage nicht wahr.

Junktoren

Eine weitere Art von mathematischen Aussagen entsteht dadurch, dass man Aussagen selbst zueinander in eine logische Beziehung setzt , indem man bei- spielsweise sagt, dass aus der Aussage p die Aussage q folgt, oder dass p und q zueinander ¨aquivalent sind. Der Satz des Pythagoras besagt, dass wenn z wi- schen drei Punkten A, B, C in der Ebene die Beziehung der Rechtwinkligkeit am Punkt A besteht, dass dann zwischen den durch die drei Punkte definie r- ten Streckenl ¨angen ebenfalls eine bestimmte Beziehung 2 besteht. Wenn man die Rechtwinkligkeit wie oben mit dem dreistelligen Relati onssymbol R und

den reellen Zahlen bzw.

in der reellen Zahlenebene arbeiten. 2 Zur Erinnerung: das Quadrat der Streckenl ¨ange zwischen B und C (die Hypothenuse) ist gleich der Summe der Quadrate der beiden Streckenl ¨angen zwischen A und B und A und C (den Katheten).

1 Die G ultigkeit¨

dieser Aussagen setzt voraus, dass wir uber¨

4

die Streckenbeziehung mit dem dreistelligen Relationssymbol S bezeichnet, so gilt also

aus R ( A, B, C ) folgt S ( A, B, C ) ,

was wir formal als

A B C ( R ( A, B, C ) −→ S ( A, B, C ))

schreiben. Gilt davon auch die Umkehrung? Folgt also aus der ( fur¨ den Satz des Pythagoras typischen Streckenbeziehung) S ( A, B, C ), dass ein rechter Winkel an A vorliegt? Dies ist in der Tat der Fall! Der Kosinussatz besag t fur¨ ein beliebiges (echtes) Dreieck mit einem an A anliegenden Winkel, dass

d ( B, C ) 2 = d ( A, B ) 2 + d ( A, C ) 2 2 d ( A, B ) d ( A, C ) cos α

gilt, wobei d den Abstand zwischen zwei Punkten bezeichne. Der St ¨orterm

rechts entf¨allt genau dann, wenn cos α = 0 ist, und dies ist nur bei 90 Grad

¨

der Fall. Daher k ¨onnen wir die Aquivalenz

A B C ( R ( A, B, C ) ←→ S ( A, B, C ))

schreiben (ein Dreieck, bei dem zwei Eckpunkte zusammenfal len, akzeptieren wir als rechtwinklig an dem doppelten Punkt).

Unser Rechtwinkligkeitspr ¨adikat R ( A, B, C ) besagt, dass der Winkel am Eck- punkt A ein Rechter ist. Wenn man sich dafur¨ interessiert, ob uberhaupt¨ ein rechtwinkliges Dreieck vorliegt, so muss R ( A, B, C ) oder R ( B, C, A ) oder R ( C, A, B ) gelten. Die Oderverkn upfung¨ wird formal als

( R ( A, B, C ) R ( B, C, A)) R ( C, A, B )

geschrieben (die Assoziativit ¨at der oder-Verkn upfung¨ nicht zur Verfugung).¨

F ur¨ ein echtes Dreieck haben wir oben gefordert, dass die kons tituierenden Punkte A, B, C paarweise verschieden sind. Die Gleichheit von zwei Punkte n wird durch A = B und die Negation davon, also die Verschiedenheit der beiden Punkte, wird in der Mathematik durch A = B , in der Logik aber durch ¬ () ausgedr uckt.¨ Dass drei Punkte paarweise verschieden sind, erforde rt ein logisches und, das durch symbolisiert wird, so dass sich die Echtheit eines Dreiecks durch

( ¬ A = B ∧¬ A = C ) ∧¬ B = C

ausdr ucken¨

steht im Moment noch

l ¨asst.

Sprachen erster Sufe

Die erw¨ahnten Konstruktionsm ¨oglichkeiten fur¨ Aussagen sind im Wesentli- chen schon ersch ¨opfend. Mit ihnen kann man formale Sprachen aufbauen, deren Aussagekraft prinzipiell groß genug ist, um die gesamt e Mathematik auszudr ucken¨ (fur¨ viele Bereiche w¨are es aber k unstlich,¨ sich auf diese Spra- chen zu beschr ¨anken). Diese formalen Sprachen nennt man Sprachen erster Stufe , wir beginnen mit den zugeh ¨origen Alphabeten.

5

Definition 3.1 . Ein Alphabet einer Sprache erster Stufe umfasst die folgen- den Daten.

(1) Eine Grundtermmenge, also eine Menge aus Variablen, Kon stanten und Funktionssymbolen. (2) Zu jeder nat urlichen¨ Zahl n N + eine Menge R n von n -stelligen Relationssymbolen. (3) Die aussagenlogischen Junktoren

¬ , , , , .

(4) Das Gleichheitszeichen =. (5) Die Quantoren und . (6) Klammern, also ( und ).

Die aussagenlogischen Junktoren werden als Negation , Konjunktion (und),

Disjunktion ( Alteration , einschließliches Oder), Implikation (wenn, dann)

¨

und Aquivalenz (genau dann, wenn) bezeichnet. Der Quantor heißt All- quantor und heißt Existenzquantor . Diese Liste ist etwas redundant, da man, von der sp ¨ateren Interpretation her gesehen, einige aussagenlogische Junktoren durch andere ersetzen kann, beispielsweise ist fur¨ zwei Aussagen p und q die Aussage p q gleichwertig mit ¬ p q , und so k ¨onnte man den Im- plikationspfeil auch weglassen. Ebenso kann man den einen Q uantor mit Hilfe des anderen und der Negation ausdr ucken,¨ es ist n ¨amlich xp gleichbedeutend mit ¬∃ x ¬ p . Um die Lesbarkeit von Ausdr ucken¨ zu erh ¨ohen ist es aber alles in allem vorteilhaft, nicht allzu minimalistisch sein zu wo llen (man k ¨onnte die unn ¨otigen Symbole auch als Abk urzungen¨ einfuhren).¨ Das Gleichheits- zeichen k ¨onnte man zwar auch als ein weiteres zweistelliges Relation ssymbol auffassen, allerdings sind die weiter unten einzufuhrenden¨ Schlussregeln fur¨ das Gleichheitszeichen (insbesondere die M ¨oglichkeit einzusetzen) fur¨ die Lo- gik erster Stufe konstitutiv. Da ein Alphabet einer Sprache e rster Stufe eine Termgrundmenge enth ¨alt, ist klar, was als Term in der Sprache zu gelten hat. Als n ¨achstes erkl ¨aren wir formal, was wir als einen Ausdruck (oder eine formale Aussage) in dieser Sprache ansehen.

Definition 3.2 . Es sei ein Alphabet einer Sprache erster Stufe gegeben. Dann nennt man die folgenden rekursiv definierten W¨orter uber¨ diesem Al- phabet die Ausdrucke¨ dieser Sprache.

(1) Wenn t 1 und t 2 Terme sind, so ist

t 1 = t 2

ein Ausdruck. (2) Wenn R ein n -stelliges Relationssymbol ist, und t 1 , sind, so ist

ein Ausdruck.

Rt 1

.t n

, t n Terme

6

(3) Wenn p und q Ausdr ucke¨

sind, so sind auch

¬ p,

( p q ) , ( p q ) , ( p q ) , ( p q )

Ausdr ucke.¨ (4) Wenn p ein Ausdruck ist und x eine Variable, so sind auch

Ausdr ucke.¨

xp und xp

Die Klammern sind hier auch nur n ¨otig, weil wir die zweistelligen Junkto- ren anders als die Funktionssymbole in der Mitte schreiben. Die Menge der Konstanten, der Variablen, der Funktionssymbole und der Re lationssymbo- le nennt man zusammen auch das Symbolalphabet der Sprache. Die anderen Symbole (Junktoren, Quantoren, Gleichheitszeichen, Klam mern) sind immer gleich, so dass eine Sprache erster Stufe im Wesentlichen nu r von der gew¨ahl- ten Symbolmenge S abh ¨angt. F ur¨ die zugeh ¨orige Sprache schreibt man L S .

Freie und gebundene Variablen

In einem Ausdruck p L S uber¨ einem Symbolalphabet S nennt man die Variablen, die innerhalb der Reichweite eines Quantors ste hen, gebunden , die anderen frei . Dies wird streng uber¨ den Aufbau der Ausdr ucke¨ definiert.

(1)

Frei ( t 1 = t 2 ) = Var ( t 1 ) Var ( t 2 )

(2)

Frei ( Rt 1

t n ) = Var ( t 1 ) Var ( t 2 )

Var ( t n )

fur¨ ein n -stelliges Relationssymbol R und n Terme t 1 , t 2 ,

(3)

(4)

(5)

Frei ( ¬ p ) = Frei ( p )

fur¨ einen Ausdruck p .

Frei ( p q ) = Frei ( p ) Frei ( q )

p und q . Ebenso fur¨ , , .

fur¨ Ausdr ucke¨

, t n .

Frei ( xp ) = Frei ( p ) \ {x }

fur¨ einen Ausdruck p und eine Variable x .

(6)

Frei ( xp ) = Frei ( p ) \ {x }

7

Einen Ausdruck ohne freie Variablen nennt man einen Satz, auch wenn diese

Bezeichnung nicht ganz gl ucklich¨

suggeriert. Die Menge der S ¨atze wird mit L bezeichnet, die Menge der Aus-

dr ucke¨

mit genau einer freien Variablen (die aber in dem Ausdruck beliebig

oft vorkommen darf) mit L S 1 .

einer Aussage

ist, da Satz“ die G ultigkeit¨

S

0

Abbildungsverzeichnis

Quelle = Uni Freiburg - Philosophen 4.jpg , Autor = Cipri Adolf Bermann (= Benutzer Michael Sch. auf Commons), Lizenz =

CC-BY-SA-2.5

9

1

Prof. Dr. H. Brenner

Einfuhrung¨

Osnabruck¨

WS 2011/2012

in die mathematische Logik

Vorlesung 4

Semantik

Gelegentlich haben wir schon angedeutet, was die zuletzt ei ngefuhrten¨ pr ¨adi- katenlogischen Symbole, die wir rein formal als Zeichenrei hen behandelt ha- ben, eigentlich bedeuten sollen, was also ihr logisch-math ematischer Gehalt sein soll. Bei einer solchen Interpretation werden die Junk toren, die Quanto- ren und das Gleichheitszeichen stets in der gleichen Weise i nterpretiert, die Variablen, Konstanten, Relations- und Funktionssymbole a ber unterschied- lich. Dazu erinnern wir an einige mathematische Begriffe. Wi r setzen eine naive Mengenlehre und die nat urlichen¨ Zahlen zum Z ¨ahlen (wie schon weiter oben) voraus. Wir erinnern an einige grundlegende ma thematische Definitionen.

Definition 4.1 . Es seien zwei Mengen L und M gegeben. Dann nennt man die Menge

L × M = {( x, y ) | x L, y M } die Produktmenge der beiden Mengen.

F ur¨ uns ist insbesondere das n -fache Produkt einer Menge M mit sich selbst, also

M n =

M × M × · · · × M

(mit n Faktoren) wichtig.

Definition 4.2 . Unter einer n - stelligen Relation R auf einer Menge M ver- steht man eine Teilmenge der n -fachen Produktmenge M × · · · × M .

Definition 4.3 . Seien L und M zwei Mengen. Eine Abbildung F von L nach M ist dadurch gegeben, dass jedem Element der Menge L genau ein Element der Menge M zugeordnet wird. Das zu x L eindeutig bestimmte Element wird mit F ( x ) bezeichnet. Die Abbildung dr uckt¨ man als Ganzes h ¨aug durch

F : L −→ M, x −→

F ( x ) ,

aus.

Definition 4.4 . Es sei M eine Menge. Unter einer n - stelligen Funktion auf M versteht man eine Abbildung

f : M × · · · × M −→ M, ( x 1 ,

, x n ) −→

f ( x 1 ,

, x n ) ,

vom n -fachen Produkt von M mit sich selbst nach M .

1

2

Eine n -stellige Funktion kann auch als eine ( n + 1)-stellige Relation aufge-

, x n ) genau ein x n+1 gibt

, x n , x n+1 ) zur Relation geh ¨ort. Dieses x n+1 ist dann der

derart, dass ( x 1 ,

fasst werden, bei der es zu jedem n -Tupel ( x 1 ,

Funktionswert der zugeh ¨origen Funktion an der Stelle ( x 1 ,

Interpretationen

, x n ).

Definition 4.5 . Es sei S das Symbolalphabet einer Sprache erster Stufe. Unter einer S - Struktur versteht man eine Menge M mit den folgenden Fest- legungen.

(1) F ur¨ jede Konstante c C ist ein Element c M M festgelegt. (2) Zu jedem n -stelligen Funktionssymbol f (aus S ) ist eine n -stellige Funktion

f M : M n −→ M

festgelegt. (3) Zu jedem n -stelligen Relationssymbol R (aus S ) ist eine n -stellige Relation

festgelegt.

R M M n

Unter einer S - (Variablen)belegung in M versteht man eine Festlegung x M fur¨ jede Variable x Var( S ).

Unter einer S - Interpretation versteht man eine S -Struktur zusammen mit einer S -Belegung.

Die Menge M heißt auch Grundmenge der S -Struktur bzw. der S -Interpreta- tion. Die Festlegung fur¨ die Konstanten und die Variablen ist einfach ei- ne Abbildung von C bzw. von der Variablenmenge in die Menge M . Statt c M , x M , F M , R M schreibt man auch I ( c ) , I ( x ) , F I , R I , wobei I eine Interpre- tation bezeichnet. Die Strukturen sind ubliche¨ Gegenst ¨ande der Mathematik.

Beispiel 4.6 . Es sei S ein Alphabet, das außer einer Variablenmenge V aus einem einzigen einstelligen Funktionssymbol F bestehe (die Konstantenmen- ge und die Relationssymbolmengen seien also leer). Eine S -Struktur besteht dann aus einer Menge M zusammen mit einer Abbildung

f = F M : M −→ M, a −→

f ( a ) .

Beispiele sind M = N mit der Nachfolgerfunktion, M = R mit dem Quadrie- ren x x 2 oder der Sinusfunktion oder der Exponentialfunktion, oder eine beliebige Menge mit der Identit ¨at, u.s.w.

Beispiel 4.7 . Es sei S ein Alphabet, das außer einer Variablenmenge V aus einem einzigen zweistelligen Funktionssymbol F bestehe (die Konstan- tenmenge und die Relationssymbolmengen seien also leer). E ine S -Struktur

3

besteht dann aus einer Menge M zusammen mit einer Abbildung

f

= F M : M × M −→ M, ( a, b ) −→

f ( a, b ) .

Eine solche Abbildung nennt man auch eine Verkn upfung¨

sie ordnet (einem geordneten Paar aus) zwei Elementen der Me nge ein wei- teres Element der Menge zu. Die Addition oder die Multiplikat ion auf den

nat urlichen¨

Beispiel 4.8 . Es sei S ein Alphabet, das außer einer Variablenmenge V aus einem einzigen einstelligen Relationssymbol R bestehe (die Konstantenmenge und die Funktionssymbolmengen seien also leer). Eine S -Struktur besteht dann aus einer Menge M zusammen mit einer fixierten Teilmenge U M . Beispiele sind M = N mit der Teilmenge der Primzahlen, oder der Teilmenge der Quadratzahlen, oder M = R mit der Teilmenge der positiven Zahlen, oder der Teilmenge der rationalen Zahlen, u.s.w.

auf M

Zahlen sind jeweils eine solche Verkn upfung.¨

Interpretation von Termen

Mit einer solchen Interpretation wird das Symbolalphabet, das neben den Junktoren, Quantoren, dem Gleichheitszeichen und den Klam mern das Al- phabet der Sprache bildet, interpretiert. Man m ¨ochte aber die gesamte Spra- che in M , ausgehend von der Interpretation dieser Symbole, interpr etieren. Der erste Schritt dazu ist die Interpretation der Terme. Die Wohldefiniertheit der folgenden Festlegung ergibt sich durch einen Beweis uber¨ den Aufbau der Terme.

Definition 4.9 . Zu einem Symbolalphabet S erster Stufe und einer S - Interpretation in einer Menge M wird induktiv uber¨ den Aufbau der Terme fur¨ jeden S -Term t eine Interpretation I ( t ) in M definiert.

(1) F ur¨ jede Konstante c und jede Variable x ist die Terminterpretati- on durch die Interpretation bzw. die Belegung direkt gegebe n, also I ( c ) = c M und I ( x ) = x M .

I ( t n ) und

wenn f ein n -stelliges Funktionsymbol ist, so wird der Term f t 1 · · · t n

(2) Wenn t 1 ,

, t n Terme sind mit Interpretationen I ( t 1 ) ,

,

als f M ( I ( t 1 ) ,

, I ( t n )) interpretiert.

Damit werden alle Terme in der Grundmenge M interpretiert. In vielen Si- tuationen bleibt die Grundmenge und die Interpretation der Konstanten und der Relations- und Funktionssymbole gleich, w¨ahrend man die Variablenbe- legung ¨andern m ¨ochte. Insbesondere m ¨ochte man Interpretationen fur¨ eine einzelne Variable ab ¨andern.

Definition 4.10 . Es sei ein Symbolalphabet S erster Stufe und eine S - Interpretation I in einer Menge M gegeben. Es sei x eine Variable und

4

m M ein Element der Grundmenge. Dann versteht man unter I m die- jenige Interpretation von S in M , die strukturgleich zu I ist und fur¨ deren Variablenbelegung gilt

x

I m ( y ) =

x

I ( y ) , falls y = x

m, falls y = x .

Interpretation von Ausdrucken¨

Nachdem wir alle Terme bei einer gegebenen S -Interpretation interpretie- ren k ¨onnen, wenden wir uns nun den Ausdr ucken¨ zu. Es ist das Ziel, jedem S -Ausdruck eine Aussage (unter Bezug auf die Grundmenge M und die In- terpretation des Symbolalphabets) zuzuordnen, die wahr od er falsch ist.

Definition 4.11 . Zu einem Symbolalphabet S erster Stufe und einer S -

Interpretation I in einer Menge M werden die S -Ausdr ucke¨ folgendermaßen (induktiv uber¨ den Aufbau der Ausdr ucke)¨ interpretiert und als g ultig¨ (oder ung ultig)¨ charakterisiert (die G ultigkeit¨ einer Aussage p unter der Interpre-

tation wird dabei als I p geschrieben). Es seien s, t, t 1 , p, q Ausdr ucke.¨

, t n Terme und

(1) I

s = t , wenn I ( s ) = I ( t ).

 

(2) I

Rt 1

t n , wenn ( I ( t 1 ) ,

, I ( t n )) R M .

(3) I ¬ p , wenn nicht I p gilt.

(4) I

p q , wenn I p und I q gilt.

 

(5) I p q , wenn die G ultigkeit¨

I p die G ultigkeit¨

I q impliziert.

(6) I

(7) I xp , wenn fur¨ alle m M die Beziehung I m p gilt.

xp , wenn es ein m M gibt mit I m p .

x

x

Dabei ist, wie bei jeder Definition, wenn“ als genau dann, wenn“ zu lesen.

zusammen mit der Er-

kl ¨arung, ob sie in der Interpretation gelten, und auf der recht en Seite steht

eine logisch-mathematische Bedingung. Diese ist im Sinne d es ublichen¨ brauchs in der Mathematik zu verstehen.

Da bei dieser Zuordnung alle m ¨oglichen Konstruktionsweisen fur¨ Ausdr ucke¨ auftauchen, ergibt sich eine Erkl ¨arung fur¨ jeden Ausdruck durch deren in- duktiven Aufbau. F ur¨ jeden Ausdruck p gilt in einer Interpretation I entwe- der I p oder nicht, wobei die Nichtg ultigkeit¨ zur G ultigkeit¨ von I ¬ p ¨aquivalent ist. Eine Interpretation liefert also insbeson dere eine vollst¨andige Aufteilung der S -Ausdr ucke¨ in wahre und falsche Ausdr ucke.¨

Ge-

Auf der linken Seite stehen die formalen Ausdr ucke¨

5

Beispiele

Beispiel 4.12 . Es sei S ein Alphabet, das außer einer Variablenmenge V aus einem einzigen einstelligen Funktionssymbol F bestehe (die Konstantenmen- ge und die Relationssymbolmengen seien also leer), so dass e ine S -Struktur aus einer Menge M zusammen mit einer Abbildung

f = F M : M −→ M, a −→

f ( a )

besteht. In einer solchen Interpretation wird jeder S -Ausdruck interpretiert. Der Ausdruck

p = x ( yF y = x ) besagt die Surjektivit ¨at von F . D.h. in einer S -Interpretation gilt

I p

genau dann, wenn die durch die Interpretation festgelegte Ab bildung F I surjektiv ist. Der Ausdruck

q = x y ( F x = F y x = y )

besagt die Injektivit ¨at von F . D.h. in einer S -Interpretation gilt

I q

genau dann, wenn die durch die Interpretation festgelegte Ab bildung F I injektiv ist.

Beispiel 4.13 . Es sei S das Symbolalphabet fur¨ einen angeordneten K ¨orper, d.h. es gebe eine zweielementige Konstantenmenge C = {0 , 1 }, eine zweiele- mentige Menge fur¨ die 2-stelligen Funktionssymbole {+ , ·} und eine einele- mentige Menge {≥} fur¨ ein zweistelliges Relationssymbol. Wir betrachten die Interpretation I 1 mit der Grundmenge Q und die Interpretation I 2 mit der Grundmenge R, wobei Konstanten, Funktionssymbole und Relationssymbol in nat urlicher¨ Weise interpretiert werden (und die Variablenbel egung irgend- wie festgelegt sei).

Der S -Ausdruck 1 + 1 1 (also der Ausdruck +111 in vorgestellter Nota- tion) wird unter den Interpretationen als 1 Q + 1 Q 1 Q bzw. als 1 R + 1 R 1 R interpretiert und daher gelten I 1 1 + 1 1 und I 2 1 + 1 1. Dagegen ist der Ausdruck x ( x 0 → ∃ y ( x = y · y )) unter I 1 falsch und unter I 2 richtig, also

I 1 ¬ ( x ( x 0 → ∃ y ( x = y · y ))) und I 2 x ( x 0 → ∃ y ( x = y · y )) .

Das vorstehende Beispiel zeigt, dass die G ultigkeit¨ von Ausdr ucken¨ unter einer bestimmten Interpretation von Eigenschaften der Gru ndmenge abh ¨angt und durch eine mathematische Argumentation erwiesen oder zu r uckgewiesen¨ werden muss. Diese kann beliebig kompliziert sein. Insbeso ndere bedeutet die Modellbeziehung nicht, dass man f ur¨ jeden Ausdruck entscheiden kann, ob er in einer Interpretation wahr oder falsch ist.

6

Gultigkeit¨

von Ausdrucksmengen

F ur¨ die G ultigkeitsbeziehung¨ I p sagt man auch, dass die Interpretation I ein Modell fur¨ den Ausdruck p ist oder den Ausdruck p erfullt.¨ F ur¨ eine Menge Γ von Ausdr ucken¨ schreibt man I Γ, wenn in I jeder Ausdruck aus Γ gilt. Man sagt, dass I ein Modell fur¨ Γ ist. Eine Struktur heißt ein Modell, wenn jede Variablenbelegung zu dieser Struktur eine Interp retation liefert, die ein Modell ist.

Diese Sprechweise wird insbesondere fur¨ Axiomensysteme Γ verwendet, die eine mathematisch wichtige Struktur festlegen. Die erfullenden¨ Modelle hei- ßen dann so, wie der Definitionsname in der Definition lautet, die dieses Axiomensystem verwendet. Die Modelle sind im mathematische n Sprachge- brauch Beispiele fur¨ die Struktur, die durch die Definition festgelegt wird.

Betrachten wir beispielsweise die Definition einer Gruppe.

Definition 4.14 . Eine Menge G mit einem ausgezeichneten Element e G und mit einer Verkn upfung¨

G × G −→ G, ( g, h ) −→

g h,

heißt Gruppe , wenn folgende Eigenschaften erfullt¨ sind.

(1) Die Verkn upfung¨

ist assoziativ , d.h. fur¨ alle f, g, h G gilt

( f g ) h = f ( g h ) .

(2) Das Element e ist ein neutrales Element , d.h. fur¨ alle g G gilt

g e = g = e g .

(3) Zu jedem g G gibt es ein inverses Element , d.h. es gibt ein h G mit

h g = g h = e .

In formal-pr ¨adikatenlogischer Formulierung besteht das Alphabet (nebe n den Variablen) aus einer Konstanten e und aus einem zweistelligen Funktionssym- bol µ . Die in der Gruppendefinition auftretenden Axiome (die Grupp enaxio- me, also die drei auftretenden Bedingungen) kann man mit die sen Symbolen einfach schreiben als

(1)

x ( y ( z µxµyz = µµxyz )) .

(2)

x ( µxe = x µex = x ) .

(3)

x y ( µxy = e µyx = e ) .

7

Nennen wir diese drei Ausdr ucke¨ Γ. Dann ist eine Gruppe eine Menge mit einer Interpretation I fur¨ e und fur¨ µ , d.h. es muss ein ausgezeichnetes Ele- ment e G (h ¨aug schreibt man e G ) geben und eine zweistellige Funktion (eine Verkn upfung),¨ derart, dass I Γ gilt.

Prof. Dr. H. Brenner

Einfuhrung¨

Osnabruck¨

WS 2011/2012

in die mathematische Logik

Vorlesung 5

Weitere Axiomensysteme

In der letzten Vorlesung haben wir gesehen, wie man die Grupp enaxio- me in der Pr ¨adikatenlogik erster Stufe formulieren kann. Eine Gruppe i m herk ¨ommlichen mathematischen Sinn ist pr ¨adikatenlogisch formuliert eine Menge zusammen mit einer Interpretation fur¨ eine Konstante und ein zwei- stelliges Funktionssymbol (n ¨amlich ein ausgezeichnetes Element und eine Verkn upfung),¨ unter der gem ¨aß der Modellbeziehung die Gruppenaxiome g ultig¨ sind.

Wir geben ein weiteres Beispiel, das die Beziehung zwischen mathematischer und pr ¨adikatenlogischer Formulierung deutlich machen soll.

Definition 5.1 . Eine Relation auf einer Menge I heißt Ordnungsrelation oder Ordnung , wenn folgende drei Bedingungen erfullt¨ sind.

(1) Es ist i i fur¨ alle i I .

(2) Aus i j

und j

k

folgt stets i k .

(3) Aus i j

und j

i folgt i = j .

Neben den Variablen besteht das zugeh ¨orige Symbolalphabet allein aus einem zweistelligen Relationssymbol, das wir ebenfalls mit bezeichnen. Die f ur¨ eine Ordnung verlangten Eigenschaften fuhren¨ zu dem folgenden einstufigen Axiomensystem Γ.

(1)

(2)

x ( x x ) .

x y z ( x y y z x z ) .

(3)

x y ( x y y x x = y ) .

In einer Menge mit einer zweistelligen Relation R gilt das Axiomensystem Γ genau dann, wenn die Relation eine Ordnungsrelation ist.

1

2

Die Folgerungsbeziehung

Mit Axiomensystemen verbindet man die Vorstellung, dass dar aus wichtige“ weitere Eigenschaften beweisbar sind. In einer jeden Grupp e gelten nicht nur die Gruppenaxiome, sondern auch alle Gesetzm ¨aßigkeiten, die man aus den Gruppenaxiomen folgern kann. Dies wird in der mathematisch en Logik durch den Folgerungsbegriff pr ¨azisiert.

Definition 5.2 . Es sei S ein Symbolalphabet erster Stufe, Γ eine Menge von S -Ausdr ucken¨ und p ein S -Ausdruck. Man sagt, dass p aus Γ folgt , ge- schrieben Γ p , wenn fur¨ jede S -Interpretation I mit I Γ auch I p gilt.

Die Folgerungsbeziehung verwendet also das gleiche Symbol wie die G ultig-¨ keitsbeziehung. Dass aus einer gewissen Ausdrucksmenge Γ ei n gewisser Au- druck p