1 Syntax und Semantik der Logik erster Stufe

Transkript

1 1 Syntax und Semantik der Logik erster Stufe Die Logik erster Stufe Prädikatenlogik) besitzt eine Syntax, die festlegt, welche Zeichenketten Formeln der Logik erster Stufe sind, und eine Semantik, die festlegt, welche Bedeutung einzelne Formeln haben. Die Logik erster Stufe beschäftigt sich mit Objekten und Aussagen über deren Eigenschaften. Vor der Einführung von Syntax und Semantik der Logik erster Stufe wenden wir uns zunächst den Objekten zu, über die Formeln der Logik erster Stufe reden können. 1.1 Strukturen Die Objekte, über die Formeln der Logik erster Stufe Aussagen treffen können, heißen Strukturen. Viele Objekte lassen sich auf natürliche Weise durch solche Strukturen repräsentieren, beispielsweise Graphen G = V, E) oder Bäume B = V, E), die natürlichen Zahlen mit Addition und Multiplikation, N, +, ), die reellen Zahlen mit Addition, Multiplikation und Konstanten 0 und 1, R, +,, 0, 1), Datenbanken. Die im Folgenden definierten Signaturen legen den Typ bzw. das Format ) der entsprechenden Strukturen fest. Definition 1.1. Eine Signatur auch Symbolmenge bzw. Vokabular) ist eine Menge σ von Relationssymbolen, Funktionssymbolen und/oder Konstantensymbolen. Jedes Relationssymbol R σ und jedes Funktionssymbol f σ hat eine Stelligkeit bzw. Arität, engl. arity) arr) N >0 bzw. arf) N >0. Signatur, Vokabular Stelligkeit arr), arf) Notation: N := 0, 1,, 3,... }; N >0 := N \ 0 } ) N, N >0 Notation 1.. Der griechische Buchstabe σ bezeichnet in diesem Vorlesungsskript stets eine Signatur. Für Relationssymbole verwenden wir normalerweise Großbuchstaben wie R, P, E, Q, R 1, R,.... Für Funktionssymbole verwenden wir meistens Kleinbuchstaben wie f, g, h, f 1, f,.... 7

2 Für Konstantensymbole verwenden wir meistens Kleinbuchstaben wie c, d, c 1, c,.... Gelegentlich verwenden wir als Relations- und Funktionssymbole auch Zeichen wie - stelliges Relationssymbol) bzw. +, -stellige Funktionssymbole), und als Konstantensymbole Zahlen wie 0, 1. Die Stelligkeit eines Relations- oder Funktionssymbols deuten wir häufig an, indem wir sie unter das Symbol schreiben. Beispiel: Die Notation R deutet an, dass R ein -stelliges Relationssymbol ist. σ-struktur Universum Definition 1.3. Eine σ-struktur bzw. Struktur über σ) ist ein Paar A = A, α), bestehend aus einer nicht-leeren Menge A, dem so genannten Universum bzw. Träger, Grundbereich; engl. domain) von A und einer auf σ definierten Abbildung α, die Notation 1.4. jedem Relationssymbol R σ eine Relation αr) A arr) der Stelligkeit arr) zuordnet, jedem Funktionssymbol f σ eine Funktion αf) : A arf) A zuordnet und jedem Konstantensymbol c σ ein Element αc) A zuordnet. Strukturen bezeichnen wir meistens mit Fraktur-Buchstaben A, B, G,...; das Universum der Strukturen durch die entsprechenden lateinischen Buchstaben A, B, G,.... Ist A = A, α) eine σ-struktur, so schreiben wir für jedes Symbol S σ oft S A an Stelle von αs). An Stelle von A = A, α) schreiben wir oft auch A = A, S A ) S σ ). Falls σ endlich und von der Form ist, so schreiben wir auch um eine σ-struktur A zu bezeichnen. σ = R 1,... R k, f 1,..., f l, c 1,..., c m } A = A, R A 1,... R A k, f A 1,..., f A l, c A 1,..., c A m ), Beispiel 1.5 Arithmetische Strukturen). Sei σ Ar :=, +,, 0, 1 }, wobei ein -stelliges Relationssymbol, +, zwei -stellige Funktionssymbole und 0, 1 zwei Konstantensymbole sind. Standardmodell a) Das Standardmodell der Arithmetik ist die σ Ar -Struktur der Arithmetik, N N := N, N, + N, N, 0 N, 1 N ), wobei N die natürliche lineare Ordnung auf N ist, + N und N die Addition bzw. die Multiplikation auf N sind und 0 N bzw. 1 N die Zahlen 0 bzw. 1 sind. Z, Q, R b) Entsprechend können wir σ Ar -Strukturen Z, Q, R mit Universum Z, Q, R definieren. 8

3 Beispiel 1.6 Graphen und Bäume). Sei σ Graph := E }, wobei E ein -stelliges Relationssymbol ist. Jeder gerichtete Graph bzw. gerichtete Baum V, E) V : Knotenmenge, E V V : Kantenmenge) lässt sich als σ Graph - Struktur A = A, E A ) mit Universum A := V und Relation E A := E auffassen. Beispiel: Graph: a b c zugehörige σ Graph -Struktur: A = A, E A ) mit A = a, b, c } E A = a, b), b, b), a, c), c, a) } Beispiel 1.7 Verwandtschaftsbeziehungen). Um Verwandtschaftsbeziehungen zu modellieren, können wir die Signatur σ benutzen, die aus folgenden Symbolen besteht: 1-stellige Funktionssymbole Vater, Mutter Bedeutung: Vater A a) bezeichnet den Vater von Person a, Mutter A a) bezeichnet die Mutter von Person a). -stellige Relationssymbole Geschwister, Vorfahr Bedeutung: a, b) Geschwister A besagt, dass a und b Geschwister sind; Vorfahr A a, b) besagt, dass a ein Vorfahr von b ist). Frage: Wann sind zwei Strukturen A und B prinzipiell gleich Fachbegriff: isomorph)? Antwort: Falls B aus A entsteht, indem man die Elemente des Universums von A umbenennt. Analog zum Begriff der Isomorphie von Graphen wird dies durch folgende Definition präzisiert: Definition 1.8. Seien A, B σ-strukturen. Ein Isomorphismus von A nach B ist eine Abbildung π : A B mit folgenden Eigenschaften: Isomorphismus a) π ist bijektiv. b) Für alle Relationssymbole R σ, für k := arr) und alle k-tupel a 1,..., a k ) A k gilt: a 1,..., a k ) R A πa 1 ),..., πa k ) ) R B. c) Für alle Funktionssymbole f σ, für k := arf) und alle k-tupel a 1,..., a k ) A k gilt: π f A a 1,..., a k ) ) = f B πa 1 ),..., πa k ) ). d) Für jedes Konstantensymbol c σ gilt: π c A ) = c B. 9

4 π : A = B Notation: Seien A, B σ-strukturen. Wir schreiben π : A = B um anzudeuten, dass π ein Isomorphismus von A nach B ist. Lemma 1.9. Seien A, B σ-strukturen und sei π : A = B. Dann gilt für die Umkehrabbildung π 1, dass π 1 : B = A. Beweis: einfaches Nachrechnen Übung). isomorph A = B Definition Zwei σ-strukturen A und B sind isomorph kurz: A = B ), wenn es einen Isomorphismus π von A nach B gibt. Beispiel a) Die beiden Graphen 1 und a b c d 4 3 sind isomorph via π : 1,, 3, 4 } a, b, c, d } mit π1) = a, π) = b, π3) = c, π4) = d. b) Die beiden Graphen 8 1 a b c d h g f e sind isomorph via π : 1,..., 8} a,..., h} mit c) Die beiden Graphen v πv) a b c d h g f e 1 3 und a b c sind nicht isomorph. d) Sei σ = f, c }, wobei f ein -stelliges Funktionssymbol und c ein Konstantensymbol ist. Sei A = A, f A, c A ) mit A := N, 10

5 f A := + N die Addition auf N), c A := 0 N die natürliche Zahl 0), und sei B = B, f B, c B ) mit B := n : n N } die Menge aller Zweierpotenzen), f B : B B B die Funktion mit f B b 1, b ) = b 1 b f.a. b 1, b B), c B := 1 = 0 B. Dann gilt A = B, und die Abbildung π : A B mit πn) := n f.a. n N ist ein Isomorphismus von A nach B, denn: π ist eine bijektive Abbildung von A nach B. Für das Konstantensymbol c gilt π c A ) Def. c A = π0) Def. π = 0 = 1 Def. cb = c B. Für das Funktionssymbol f und alle a 1, a ) A gilt: π f A a 1, a ) ) Def. f A = πa 1 + a ) Def. π = a1+a und f B πa 1 ), πa ) ) Def. π = f B a1, a ) Def. f B = a1 a = a1+a. Also: π f A a 1, a ) ) = f B πa 1 ), πa )). Somit ist π ein Isomorphismus von A nach B. Satz 1.1. Isomorphie =) ist eine Äquivalenzrelation auf der Klasse aller σ-strukturen, d.h. für alle σ-strukturen A, B und C gilt: a) A = A Reflexivität). b) Falls A = B, so auch B = A Symmetrie). c) Falls A = B und B = C, so auch A = C Transitivität). Beweis: Übung. 1. Syntax der Logik erster Stufe Bestandteile: aussagenlogische Junktoren,,,, nicht und oder wenn..., dann genau dann, wenn Variablen v 0, v 1, v,... um Elemente aus dem Universum einer Struktur zu bezeichnen Quantoren: es existiert ), für alle ) 11

6 Symbole für Elemente aus der Signatur σ Präzise: Definition 1.13 Variablen und Alphabet der Logik erster Stufe). Variable Var a) Eine Individuenvariable kurz: Variable) hat die Form v i, für i N. Die Menge aller Variablen bezeichnen wir mit Var. D.h. A σ Var := v i : i N } = v 0, v 1, v, v 3,... }. b) Sei σ eine Signatur. Das Alphabet A σ der Logik erster Stufe über σ besteht aus den Variablen in Var den Symbolen in σ Existenzquantor den Quantoren Existenzquantor) und Allquantor) Allquantor dem Gleichheitssymbol 1 = den Junktoren,,,, den Klammern, ) dem Komma, D.h.: A σ = Var σ, } = },,,, }, ) }, }. A σ Notation: A σ bezeichnet die Menge aller endlichen Zeichenketten über A σ. Definition 1.14 Terme der Logik erster Stufe). T σ Sei σ eine Signatur. Die Menge T σ aller σ-terme ist die folgendermaßen rekursiv definierte σ-terme Teilmenge von A σ: Für jedes Konstantensymbol c σ ist c T σ. Für jede Variable x Var ist x T σ. Für jedes k N >0 und jedes k-stellige Funktionssymbol f σ gilt: Sind t 1 T σ,..., t k T σ, so ist auch ft 1,..., t k ) T σ. Beispiel Sei σ = f, c } wie in Beispiel 1.11d) gewählt. Folgende Worte sind σ-terme: c v 4 fc, c) fc, v 0 ) fc, fv 1, v 3 )) Folgende Worte sind keine σ-terme: 1 Manche Bücher schreiben an Stelle von = 1

7 0 fd, d) fv 0, c, v 1 ) f A, 3) Definition 1.16 Formeln der Logik erster Stufe). Sei σ eine Signatur. Die Menge FO[σ] aller Formeln der Logik erster Stufe über der Signatur σ kurz: FO[σ]-Formeln; FO steht für die englische Bezeichnung first-order logic) ist die folgendermaßen rekursiv definierte Teilmenge von A σ: FO[σ] FO[σ]-Formeln a) Für alle σ-terme t 1 und t gilt t 1 = t FO[σ]. b) Für jedes Relationssymbol R σ, für k := arr) und für alle σ-terme t 1,..., t k gilt: c) Ist ϕ FO[σ], so auch ϕ FO[σ]. d) Ist ϕ FO[σ] und ψ FO[σ], so ist auch ϕ ψ) FO[σ], ϕ ψ) FO[σ], ϕ ψ) FO[σ], ϕ ψ) FO[σ]. e) Ist ϕ FO[σ] und ist x Var, so ist auch Bemerkung: x ϕ FO[σ], x ϕ FO[σ]. Rt 1... t k ) FO[σ]. FO[σ]-Formeln der Form t 1 = t bzw. Rt 1... t k ) heißen auch atomare Formeln. atomare Formeln In manchen Büchern wird FO[σ] auch mit L σ bzw. L σ bezeichnet, und FO[σ]-Formeln werden auch σ-ausdrücke genannt. Beispiel a) Sei σ = f, c }. Folgende Worte sind FO[σ]-Formeln: fv 0, v 1 ) = c v fv, c) = v v 3 fv, v 3 ) = v 3 v 3 = c) Folgende Worte sind keine FO[σ]-Formeln: fv 0, v 1 ) = c) fv 0, v 1 )... ist ein σ-term, aber keine FO[σ]-Formel) v fv, c) = v )) c fv 0, c) = v 0 13

8 b) Sei σ Graph = E }. Folgendes ist eine FO[σ Graph ]-Formel: v 0 v 1 Ev0, v 1 ) Ev 1, v 0 ) ) v 0 = v 1 ) Intuition zur Semantik die formale Definition der Semantik wird in Abschnitt 1.3 gegeben): In einem Graphen A = A, E A ) sagt die Formel folgendes aus: v 0 v 1 Ev0, v 1 ) Ev 1, v 0 ) ) v 0 = v 1 ) Für alle Knoten a 0 A und für alle Knoten a 1 A gilt: Falls a 0, a 1 ) E A und a 1, a 0 ) E A, so ist a 0 = a 1. Die Formel sagt in einem Graphen A = A, E A ) also gerade aus, dass die Kantenrelation antisymmetrisch ist. D.h. ein Graph A = A, E A ) erfüllt die Formel genau dann, wenn die Kantenrelation E A antisymmetrisch ist. Notation Statt mit v 0, v 1, v,... bezeichnen wir Variablen oft auch mit x, y, z, x 1, x,.... Formelmengen Bindungsregeln Formeln bezeichnen wir meistens mit griechischen Kleinbuchstaben ϕ, ψ, χ,.... Formelmengen mit griechischen Großbuchstaben Φ, Ψ,.... Bezüglich Klammerung verwenden wir folgende Bindungsregeln: a) bindet stärker als alle anderen Junktoren. b) und binden stärker als und. Die äußeren Klammern einer Formel lassen wir manchmal weg. D. h. wir schreiben z. B. ϕ ψ χ an Stelle von ϕ ψ) χ)) ). Infixschreibweise Für gewisse -stellige Funktionssymbole wie +, σ Ar und gewisse -stellige Relationssymbole wie verwenden wir Infix- statt Präfixschreibweise und setzen Klammern dabei auf natürliche Weise, um die eindeutige Lesbarkeit zu gewährleisten. Beispiel: An Stelle des formal korrekten Terms) +v 1, v ), v ) schreiben wir v 1 + v ) v. An Stelle der formal korrekten) atomaren Formel v 1, v ) schreiben wir v 1 v. Zur besseren Lesbarkeit von Termen und atomaren Formeln schreiben wir manchmal Rt 1... t k an Stelle des formal korrekten) Rt 1,..., t k ), ft 1... t k an Stelle des formal korrekten) ft 1,..., t k ). 14

9 1.3 Semantik der Logik erster Stufe Um die formale Definition der Semantik der Logik erster Stufe angeben zu können, benötigen wir noch folgende Notationen: Definition 1.19 Subformeln bzw. Teilformeln). Für jede FO[σ]-Formel ϕ definieren wir die Menge subϕ) FO[σ] aller Subformeln oder: Teilformeln) von ϕ wie folgt: Ist ϕ eine atomare σ-formel, so subϕ) := ϕ }. Ist ϕ von der Form ψ für eine FO[σ]-Formel ψ, so ist subϕ) := ϕ } subψ). Ist ϕ von der Form ψ 1 ψ ) für,,, } und FO[σ]-Formeln ψ 1 und ψ, so subϕ) := ϕ } subψ 1 ) subψ ). Ist ϕ von der Form Qx ψ für Q, }, x Var und ψ FO[σ], so ist subϕ) Subformeln Teilformeln subϕ) := ϕ } subψ). Beispiel: Ev0 sub v 0 v 1, v 1 ) Ev 1, v 0 ) ) ) ) v 0 = v 1 = Ev0 v 0 v 1, v 1 ) Ev 1, v 0 ) ) ) v 0 = v 1, v 1 Ev0, v 1 ) Ev 1, v 0 ) ) v 0 = v 1 ), Ev0, v 1 ) Ev 1, v 0 ) ) v 0 = v 1 ), Ev0, v 1 ) Ev 1, v 0 ) ), v 0 = v 1, Ev 0, v 1 ), } Ev 1, v 0 ) Definition 1.0 Variablen in Termen). Für jeden σ-term t T σ definieren wir die Menge vart) Var der Variablen von t wie folgt: vart) Für x Var ist varx) := x }. Für jedes Konstantensymbol c σ ist varc) :=. Ist t T σ von der Form ft 1,..., t k ), wobei f σ ein k-stelliges Funktionssymbol ist und t 1,..., t k T σ, so ist vart) := vart 1 ) vart k ). Definition 1.1 Freie Variablen in Formeln). Für jede FO[σ]-Formel ϕ definieren wir die Menge freiϕ) Var aller freien Variablen von ϕ wie folgt: Ist ϕ von der Form t 1 = t mit t 1, t T σ, so ist freiϕ) Freie Variablen freiϕ) := vart 1 ) vart ). 15

10 Ist ϕ von der Form Rt 1,..., t k ), wobei R σ ein k-stelliges Relationssymbol ist und t 1,... t k T σ, so ist freiϕ) := vart 1 ) vart k ). Ist ϕ von der Form ψ mit ψ FO[σ], so ist freiϕ) := freiψ). Ist ϕ von der Form ψ 1 ψ ) mit ψ,,, } und ψ 1, ψ FO[σ], so ist freiϕ) := freiψ 1 ) freiψ ). Ist ϕ von der Form Qx ψ mit Q, }, x Var und ψ FO[σ], so ist freiϕ) := freiψ) \ x }. Satz S σ Belegung in einer σ-struktur passende Belegung Beispiel: ϕ := fv 0, c) = v 3 }} fv 0, v 1 ) = c }} v 0 freie Variablen: v 0, v 3 freie Variablen: v 0, v 1 }} freie Variablen: v 1 }} freie Variablen: v 0, v 1, v 3 Definition 1. Sätze). Eine FO[σ]-Formel ϕ heißt Satz genauer: FO[σ]-Satz), falls freiϕ) =. Die Menge aller FO[σ]-Sätze bezeichnen wir mit S σ. Definition 1.3 Belegungen und Interpretationen). a) Eine Belegung in einer σ-struktur A ist eine Abbildung β : D A mit Defβ) := D Var. b) Eine Belegung β heißt passend zu t T σ, falls Defβ) vart). c) Eine Belegung β heißt passend zu ϕ FO[σ] bzw. eine Belegung für ϕ), wenn Defϕ) freiϕ). ) σ-interpretation d) Eine σ-interpretation ist ein Paar I einer Belegung β in A. = A, β) bestehend aus einer σ-struktur A und passende σ-interpretation t I e) Eine σ-interpretation I = A, β) heißt passend zu oder Interpretation für) ϕ FO[σ] bzw. t T σ ), falls Defβ) passend zu ϕ bzw. t) ist. Definition 1.4 Semantik von σ-termen). Rekursiv über den Aufbau von T σ definieren wir eine Funktion, die jedem σ-term t T σ und jeder zu t passenden σ-interpretation I = A, β) einen Wert t I A zuordnet: Für alle x Var ist x I := βx). Für alle Konstantensymbole c σ ist c I := c A. Für alle k N >0, alle k-stelligen Funktionssymbole f σ und alle σ-terme t 1,..., t k T σ ist ft 1,..., t k ) I := f A t 1 I,..., t k I). 16

11 Beispiel: Sei σ := f, c }, und sei A := A, f A, c ) A mit A := N, f A := + N die Addition auf N), c A := 0. Sei β die Belegung mit βv 1 ) = 1 und βv ) = 7, und sei I := A, β). Sei t := fv, fv 1, c)) T σ. Dann gilt Definition 1.5. t I = f A v I, fv 1, c) I) = v I + fv 1, c) I = βv ) + f A v 1 I, c I) = 7 + βv 1 ) + c A ) = ) = 8. a) Ist β eine Belegung in einer σ-struktur A, ist x Var und ist a A, so sei β a x die β a x Belegung mit Def β a x) := Defβ) x }, die für alle y Def β a x) definiert ist durch a β a x y) := βy) falls y = x sonst. b) Ist I = A, β) eine σ-interpretation, ist x Var und ist a A, so sei I a x I a x := A, β a x). Definition 1.6 Semantik der Logik erster Stufe). Rekursiv über den Aufbau von FO[σ] definieren wir eine Funktion, die jeder FO[σ]-Formel ϕ und jeder zu ϕ passenden σ-interpretation I = A, β) einen Wahrheitswert kurz: Wert) ϕ I 0, 1 } zuordnet: Wahrheitswert ϕ I Für alle t 1, t T σ ist t 1 = t I := 1 falls t1 I = t I 0 sonst. Für jedes k N >0, jedes k-stellige Relationssymbol R σ und alle t 1,..., t k T σ ist Rt 1,..., t k ) I := 1 falls t1 I,..., t k I) R A 0 sonst. Für alle ψ FO[σ] ist ψ I := 1 falls ψ I = 0 0 falls ψ I = 1. Für alle ψ 1, ψ FO[σ] ist 1 falls ψ1 I = 1 und ψ ψ 1 ψ ) I I = 1 := 0 sonst. 17

12 ψ 1 ψ ) I := ψ 1 ψ ) I := ψ 1 ψ ) I := 1 falls ψ1 I = 1 oder ψ I = 1 0 sonst d.h. ψ 1 I = 0 und ψ I = 0). 1 falls ψ1 I = ψ I 0 sonst. 1 falls ψ1 I = 0 oder ψ I = 1 0 sonst d. h. ψ 1 I = 1 und ψ I = 0). Für alle ψ FO[σ] und alle x Var ist 1 falls es mindestens ein a A gibt, so dass ψ I a x = 1 x ψ I := 0 sonst d. h. für alle a A gilt ψ I a x = 0). x ψ I := 1 falls für alle a A gilt ψ I a x = 1 0 sonst. Beispiel: σ := E }, ϕ := x y Ex, y) Ey, x)) A := A, E A ) mit A = 1,, 3 }, E A = 1, ),, 1),, 3)} Skizze: A : 1 3 β sei die Belegung mit Defβ) = I := A, β) ϕ I = 1 für alle a A, für alle b A gilt: Ex, y) Ey, x)) I a x y = 1 für alle a A, für alle b A gilt: a, b) E A oder b, a) E A für alle a A, für alle b A gilt: falls a, b) E A, so auch b, a) E A E A ist symmetrisch.) Da in unserem konkreten Graphen A für a =, b = 3 gilt: a, b) E A, aber b, a) E A, ist hier ϕ I = 0. Definition 1.7 Modell, Erfüllbarkeit, Allgemeingültigkeit). Sei ϕ eine FO[σ]-Formel. Modell a) Eine σ-interpretation I = A, β) erfüllt ϕ bzw.: ist ein Modell von ϕ, kurz: I = ϕ), I = ϕ falls I passend zu ϕ ist und ϕ I = 1. erfüllbar unerfüllbar b) ϕ heißt erfüllbar, falls es eine σ-interpretation gibt, die ϕ erfüllt. ϕ heißt unerfüllbar, falls ϕ nicht erfüllbar ist. b 18

13 c) ϕ heißt allgemeingültig, wenn jede zu ϕ passende σ-interpretation ϕ erfüllt. allgemeingültig Beobachtung: Für alle ϕ, ψ FO[σ] gilt: ϕ allgemeingültig ϕ unerfüllbar. ϕ erfüllbar ϕ nicht allgemeingültig. Beispiel 1.8. Graphen) Sei σ := E }, und sei A = A, E A ) eine σ-struktur. a) Für alle a, b A gilt: Es gibt in A einen Weg der Länge 3 von a nach b A, β ) = x y z 1 z Ex, z1 ) Ez 1, z ) Ez, y) ). Hierbei ist β die Belegung mit Defβ ) =. b) A hat Durchmesser 3, d.h. zwischen je zwei Knoten von A gibt es einen Weg der Länge 3 A, β ) = x y x = y Ex, y) z Ex, z) Ez, y) ) z 1 z Ex, z1 ) Ez 1, z ) Ez, y) ) ). Beispiel 1.9 Arithmetik). Sei σ Ar =, +,, 0, 1 }, N := N, N, + N, N, 0 N, 1 N ), a, b, c N und β die Belegung mit βv 1 ) = a, βv ) = b, βv 3 ) = c. a) a b a teilt b in N ) N, β) = ϕ teilt v 1, v ) mit ϕ teilt v 1, v ) := v 0 v 1 v 0 = v. b) c = a b N, β) = ϕ v 1, v, v 3 ) mit ϕ v 1, v, v 3 ) := v + v 3 = v 1. c) a ist eine Primzahl N, β) = ϕ prim v 1 ) mit ϕ prim v 1 ) := v 1 = 0 v 1 = 1 v 4 v 5 v1 = v 4 v 5 v 4 = 1 v 5 = 1) ). d) Es gibt unendlich viele verschiedene Primzahlen 1.4 Das Koinzidenzlemma N, β ) = v 0 v 1 v0 v 1 ϕ prim v 1 ) ). Das Koinzidenzlemma präzisiert den anschaulich offensichtlichen) Sachverhalt, dass die Frage, ob eine FO[σ]-Formel ϕ von einer σ-interpretation I = A, β) erfüllt wird d.h. ob I = ϕ gilt), nur abhängt von 19

14 der Belegung der in ϕ frei vorkommenden Variablen d.h. für Variablen x freiϕ) ist egal, welchen Wert βx) annimmt) und der Interpretation S A der Symbole S σ, die in ϕ vorkommen d.h. für Symbole S σ, die nicht in ϕ erwähnt werden, ist egal, wie S ) A aussieht). Zur präzisen Formulierung des Koinzidenzlemmas sind folgende Notationen nützlich: Definition Seien σ 1, σ zwei Signaturen. Sei I 1 = A 1, β 1 ) eine σ 1 -Interpretation und sei I = A, β ) eine σ -Interpretation mit A 1 = A d.h. A 1 und A haben dasselbe Universum). a) I 1 und I bzw. A 1 und A ) stimmen auf einem Symbol S überein, wenn S σ 1 σ und S A 1 = S A. b) I 1 und I bzw. β 1 und β ) stimmen auf einer Variablen x überein, wenn x Defβ 1 ) Defβ ) und β 1 x) = β x). Satz 1.31 Koinzidenzlemma). Seien σ, σ 1, σ Signaturen mit σ σ 1 σ. Für i = 1, sei I i = A i, β i ) eine σ i Interpretation. a) Sei t T σ, so dass I 1 und I auf allen in t vorkommenden Symbolen und Variablen übereinstimmen. Dann gilt: t I1 = t I. b) Sei ϕ FO[σ], so dass I 1 und I auf allen in ϕ vorkommenden Symbolen und auf allen freien Variablen von ϕ übereinstimmen. Dann gilt: I 1 = ϕ I = ϕ. Beweis: Einfaches Nachrechnen: per Induktion nach dem Aufbau von T σ bei a) ) bzw. FO[σ] bei b) ). Details: Übung. Bemerkung 1.3. Wegen des Koinzidenzlemmas können wir einerseits immer annehmen, dass Belegungen minimal sind d.h. ihr Definitionsbereich enthält gerade die freien Variablen einer Formel oder eines Terms). Andererseits können wir aber auch annehmen, dass ihr Definitionsbereich maximal ist d.h. alle Variablen aus Var enthält). Beides wird gelegentlich nützlich sein. Notation a) Für ϕ FO[σ] schreiben wir ϕx 1,..., x n ), um anzudeuten, dass freiϕ) x 1,..., x n }. Sei I = A, β) eine σ-interpretation mit Defβ) x 1,..., x 1 } freiϕ). Für i = 1,..., n sei a i := βx i ). An Stelle von I = ϕ schreiben wir oft auch A = ϕ[ a1 x 1,..., an x n ]. Beachte: Diese Schreibweise ist zulässig, da nach dem Koinzidenzlemma für alle σ-interpretationen I = A, β ) mit β x i ) = a i für i = 1,..., n gilt: I = ϕ I = ϕ. b) Um die Notation weiter zu vereinfachen schreiben wir auch kurz [ ] a A = ϕ[a 1,..., a n ] an Stelle von A = ϕ 1 x 1,..., an x n. 0

15 c) Für FO[σ]-Sätze ϕ schreiben wir einfach A = ϕ an Stelle von A, β) = ϕ für eine Belegung β. Beachte: Gemäß Koinzidenzlemma gilt für alle Belegungen β und β, dass A, β) = ϕ A, β ) = ϕ. d) Ähnliche Schreibweisen verwenden wir für Terme: Ist t T σ mit vart) x 1,..., x n }, so schreibe kurz auch tx 1,..., x n ). Ist I = A, β) eine σ-interpretation mit Defβ) x 1,..., x n } und a i := βx i ) für i = 1,..., n, so schreibe an Stelle von t I auch [ ] t A a 1 x 1,..., an x n bzw. t A [a 1,..., a n ]. An Stelle von t I schreiben wir manchmal auch It). Definition 1.34 Redukte und Expansionen). Seien σ, τ Signaturen mit τ σ. a) Das τ-redukt einer σ-struktur A ist die τ-struktur A τ mit Universum A τ = A, die mit A auf allen Symbolen aus τ übereinstimmt. b) Eine σ-expansion einer τ-struktur B ist eine σ-struktur A, für die gilt: A τ = B. Beispiel Zur Erinnerung: Das Standardmodell der Arithmetik ist Redukt Expansion Das, +, 0}-Redukt von N ist N = N, N, + N, N, 0 N, 1 N ). N,+,0} = N, N, + N, 0 N ). Die Struktur N,+,0} bezeichnet man als das Standardmodell der Presburger Arithmetik benannt nach M. Presburger, ). 1.5 Das Isomorphielemma Standardmodell der Presburger Arithmetik Anschaulich besagt das folgende Isomorphielemma, dass zwei σ-strukturen, die isomorph sind, genau dieselben FO[σ]-Sätze erfüllen. D.h. isomorphe Strukturen können nicht durch FO[σ]-Sätze unterschieden werden. Satz 1.36 Isomorphielemma). Sei ϕ ein FO[σ]-Satz und seien A und B zwei isomorphe σ-strukturen. Dann gilt A = ϕ B = ϕ. Beweis: Sei π : A = B ein Isomorphismus von A nach B. Behauptung 1: Für alle σ-terme tx 1,..., x n ) und alle a 1,..., a n A gilt: πt A [a 1,..., a n ]) = t B [πa 1 ),..., πa n )]. 1

16 Beweis: Einfaches Nachrechnen per Induktion nach dem Aufbau von T σ. Details: Übung. Behauptung : Für alle FO[σ]-Formeln ϕx 1,..., x n ) und alle a 1,..., a n A gilt: A = ϕ[ a 1,..., a n ] B = ϕ[ πa 1 ),..., πa n ) ]. Beweis: Einfaches Nachrechnen per Induktion nach dem Aufbau von FO[σ]. Details: Übung. Beachte: Die Aussage von Satz 1.36 folgt direkt aus Behauptung. Satz 1.36 Obiger Beweis zeigt sogar folgendes Resultat: Korollar Seien A, B σ-strukturen und sei π : A = B. Für jede FO[σ]-Formel ϕx 1,..., x n ) und alle a 1,..., a n A gilt: A = ϕ[ a 1,..., a n ] B = ϕ[ πa 1 ),..., πa n ) ]. 1.6 Literaturhinweise Zur weiteren Lektüre bieten sich die folgenden Kapitel aus [EFT07] an: Kapitel 3.1 Strukturen und Interpretationen zu Abschnitt 1.1. Die Kapitel Syntax der Sprachen erster Stufe, 3. Eine Normierung der umgangssprachlichen Junktoren, sowie 3.3 Die Modellbeziehung zu Abschnitt 1. Die Kapitel 3.3 bis 3.6 zu Abschnitt Übungsaufgaben Aufgabe 1.1. Geben Sie σ Ar -Formeln an, die im Standardmodell N der Arithmetik folgende intuitive Bedeutung haben: a) Jede natürliche Zahl ist Summe von vier Quadratzahlen. b) Jede Primzahl ist Summe zweier Quadratzahlen. c) Es gibt unendlich viele Primzahlen p N, so dass p = 3m + für eine Zahl m N. d) ist irrational, d.h. es gibt keine Zahlen m, n N mit = m n. e) Jede zusammengesetzte Zahl n N besitzt einen Teiler m N mit m n. Aufgabe 1.. Sei σ eine Signatur, die aus endlich vielen Symbolen besteht und sei A eine beliebige σ-struktur, deren Universum A endlich ist. a) Geben Sie einen σ-satz ϕ A an, der die Struktur A bis auf Isomorphie eindeutig beschreibt. D.h. es soll für alle σ-strukturen B gelten: B = ϕ A B = A.

17 b) Beweisen Sie, dass ihre Formel ϕ A die in a) geforderte Eigenschaft tatsächlich besitzt. D.h. zeigen Sie, dass für alle σ-strukturen B gilt: B = ϕ A B = A. Aufgabe 1.3. Beweisen Sie das Isomorphielemma Satz 1.36). Aufgabe 1.4. Sei σ =, P a, P b } die Signatur, die aus dem -stelligen Relationssymbol sowie zwei 1-stelligen Relationssymbolen P a und P b besteht. Einem endlichen Wort w = w 1 w n der Länge n 1 über dem Alphabet Σ := a, b} ordnen wir die folgende σ-struktur A w = A w := 1,..., n}, A w, Aw, P Aw a, P Aw b ) zu: Aw ist die natürliche lineare Ordnung auf 1,..., n}, P Aw a := i A w : w i = a }, P Aw b := i A w : w i = b }. Ein FO[σ]-Satz ϕ beschreibt eine Sprache L Σ, falls für jedes nicht-leere Wort w Σ gilt: w L A w = ϕ. a) Welche Sprache beschreibt der folgende FO[σ]-Satz ϕ 0? ) := x y x y x=y z z x Pa z)) y z P b z)) ) ) ϕ 0 b) Geben Sie einen FO[σ]-Satz an, der die durch den regulären Ausdruck definierte Sprache beschreibt. aa b) bba b) c) Können Sie auch einen FO[σ]-Satz finden, der die Sprache aller Worte beschreibt, in denen die Anzahl der in ihnen vorkommenden as gerade ist? Falls ja, geben Sie den Satz an; falls nein, versuchen Sie zu erklären, warum es keinen solchen Satz zu geben scheint. 3