logikersterstufe (prädikatenlogik) erster... · dietabelle„filme“ titel regie schauspieler...
TRANSCRIPT
![Page 1: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/1.jpg)
Logik erster Stufe(Prädikatenlogik)
Logik erster Stufe 1 / 74
![Page 2: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/2.jpg)
Prädikatenlogik: Quantoren und Prädikate
Mit Hilfe der Aussagenlogik haben wir Wissen modelliert und Schlüsse aus diesemWissen gezogen.
Auch mit der Logik erster Stufe möchten wir Wissen modellieren und „verstehen“.
+ Im Gegensatz zur Aussagenlogik stehen wesentlich umfangreichere Ausdrucks-möglichkeiten zur Verfügung. Zum Beispiel möchten wir sagen, dass
I „die Zahl x die Zahl z teilt.“
x teilt z genau dann, wenn es eine Zahl y gibt mit x · y = z.
Der Existenz-Quantor „wenn es eine Zahl y gibt“ wird benutzt wie auch dasPrädikat (oder die Relation) „x · y = z“.
I „ein Land in Europa in 2014 Fußball-Weltmeister wurde.“Es gibt ein Land in Europa, das in 2014 Fußball-Weltmeisterwurde
Auch hier wird der Existenz-Quantor benötigt wie auch die Prädikate„Land in Europa“ und „Fußball-Weltmeister in 2014“.
- Allerdings erkaufen wir uns die größere Ausdruckskraft in vielen Fällen miteiner algorithmisch deutlich schwierigeren Handhabung.
Logik erster Stufe 2 / 74
![Page 3: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/3.jpg)
Prädikatenlogik: Quantoren und Prädikate
Mit Hilfe der Aussagenlogik haben wir Wissen modelliert und Schlüsse aus diesemWissen gezogen.
Auch mit der Logik erster Stufe möchten wir Wissen modellieren und „verstehen“.
+ Im Gegensatz zur Aussagenlogik stehen wesentlich umfangreichere Ausdrucks-möglichkeiten zur Verfügung. Zum Beispiel möchten wir sagen, dass
I „die Zahl x die Zahl z teilt.“x teilt z genau dann, wenn es eine Zahl y gibt mit x · y = z.
Der Existenz-Quantor „wenn es eine Zahl y gibt“ wird benutzt wie auch dasPrädikat (oder die Relation) „x · y = z“.
I „ein Land in Europa in 2014 Fußball-Weltmeister wurde.“Es gibt ein Land in Europa, das in 2014 Fußball-Weltmeisterwurde
Auch hier wird der Existenz-Quantor benötigt wie auch die Prädikate„Land in Europa“ und „Fußball-Weltmeister in 2014“.
- Allerdings erkaufen wir uns die größere Ausdruckskraft in vielen Fällen miteiner algorithmisch deutlich schwierigeren Handhabung.
Logik erster Stufe 2 / 74
![Page 4: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/4.jpg)
Prädikatenlogik: Quantoren und Prädikate
Mit Hilfe der Aussagenlogik haben wir Wissen modelliert und Schlüsse aus diesemWissen gezogen.
Auch mit der Logik erster Stufe möchten wir Wissen modellieren und „verstehen“.
+ Im Gegensatz zur Aussagenlogik stehen wesentlich umfangreichere Ausdrucks-möglichkeiten zur Verfügung. Zum Beispiel möchten wir sagen, dass
I „die Zahl x die Zahl z teilt.“x teilt z genau dann, wenn es eine Zahl y gibt mit x · y = z.
Der Existenz-Quantor „wenn es eine Zahl y gibt“ wird benutzt wie auch dasPrädikat (oder die Relation) „x · y = z“.
I „ein Land in Europa in 2014 Fußball-Weltmeister wurde.“
Es gibt ein Land in Europa, das in 2014 Fußball-Weltmeisterwurde
Auch hier wird der Existenz-Quantor benötigt wie auch die Prädikate„Land in Europa“ und „Fußball-Weltmeister in 2014“.
- Allerdings erkaufen wir uns die größere Ausdruckskraft in vielen Fällen miteiner algorithmisch deutlich schwierigeren Handhabung.
Logik erster Stufe 2 / 74
![Page 5: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/5.jpg)
Prädikatenlogik: Quantoren und Prädikate
Mit Hilfe der Aussagenlogik haben wir Wissen modelliert und Schlüsse aus diesemWissen gezogen.
Auch mit der Logik erster Stufe möchten wir Wissen modellieren und „verstehen“.
+ Im Gegensatz zur Aussagenlogik stehen wesentlich umfangreichere Ausdrucks-möglichkeiten zur Verfügung. Zum Beispiel möchten wir sagen, dass
I „die Zahl x die Zahl z teilt.“x teilt z genau dann, wenn es eine Zahl y gibt mit x · y = z.
Der Existenz-Quantor „wenn es eine Zahl y gibt“ wird benutzt wie auch dasPrädikat (oder die Relation) „x · y = z“.
I „ein Land in Europa in 2014 Fußball-Weltmeister wurde.“Es gibt ein Land in Europa, das in 2014 Fußball-Weltmeisterwurde
Auch hier wird der Existenz-Quantor benötigt wie auch die Prädikate„Land in Europa“ und „Fußball-Weltmeister in 2014“.
- Allerdings erkaufen wir uns die größere Ausdruckskraft in vielen Fällen miteiner algorithmisch deutlich schwierigeren Handhabung.
Logik erster Stufe 2 / 74
![Page 6: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/6.jpg)
Prädikatenlogik: Ein erster Überblick
Genau wie die Aussagenlogik besitzt die Prädikatenlogik:(a) eine Syntax, die festlegt, welche Zeichenketten Formeln der Prädikatenlogik
sind und(b) eine Semantik, die festlegt, welche „Bedeutung“ einzelne Formeln haben.
Während sich die Aussagenlogik lediglich mit „wahren“ und „falschen“ Aussagenund deren Kombination beschäftigt, „redet“ die Prädikatenlogik über
unterschiedlichste Strukturen wie zum BeispielI die natürlichen Zahlen (mit Addition und Multiplikation) oder überI Länder (mit den Prädikaten „in Europa“ und „Fußball-Weltmeister in 2014“).
und erlaubt die Formulierung komplexer Aussagen über deren Eigenschaften.
Über welche Strukturen sollen die Formeln der Prädikatenlogik „reden“?
Logik erster Stufe 3 / 74
![Page 7: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/7.jpg)
Prädikatenlogik: Ein erster Überblick
Genau wie die Aussagenlogik besitzt die Prädikatenlogik:(a) eine Syntax, die festlegt, welche Zeichenketten Formeln der Prädikatenlogik
sind und(b) eine Semantik, die festlegt, welche „Bedeutung“ einzelne Formeln haben.
Während sich die Aussagenlogik lediglich mit „wahren“ und „falschen“ Aussagenund deren Kombination beschäftigt, „redet“ die Prädikatenlogik über
unterschiedlichste Strukturen wie zum BeispielI die natürlichen Zahlen (mit Addition und Multiplikation) oder überI Länder (mit den Prädikaten „in Europa“ und „Fußball-Weltmeister in 2014“).
und erlaubt die Formulierung komplexer Aussagen über deren Eigenschaften.
Über welche Strukturen sollen die Formeln der Prädikatenlogik „reden“?
Logik erster Stufe 3 / 74
![Page 8: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/8.jpg)
Strukturen
Strukturen 4 / 74
![Page 9: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/9.jpg)
An welche Strukturen ist denn gedacht?
Zum Beispiel an
Graphen G = (V ,E ),Bäume B = (V ,E ),die natürlichen Zahlen mit Addition und Multiplikation, (N,+,×),die reellen Zahlen mit Addition, Multiplikation und den Konstanten 0 und 1,(R,+,×, 0, 1) oderDatenbanken.
Signaturen legen den „Typ“ (bzw. das „Format“) der jeweiligen Struktur fest:Welche Relationen, Funktionen oder Konstanten besitzt die Struktur?
Strukturen 5 / 74
![Page 10: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/10.jpg)
An welche Strukturen ist denn gedacht?
Zum Beispiel an
Graphen G = (V ,E ),Bäume B = (V ,E ),die natürlichen Zahlen mit Addition und Multiplikation, (N,+,×),die reellen Zahlen mit Addition, Multiplikation und den Konstanten 0 und 1,(R,+,×, 0, 1) oderDatenbanken.
Signaturen legen den „Typ“ (bzw. das „Format“) der jeweiligen Struktur fest:Welche Relationen, Funktionen oder Konstanten besitzt die Struktur?
Strukturen 5 / 74
![Page 11: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/11.jpg)
Signaturen
Eine Signatur (bzw. eine Symbolmenge; engl: signature) ist eine Menge σ vonRelationssymbolen, Funktionssymbolen und/oder Konstantensymbolen.
Jedes Relationssymbol R ∈ σ und jedes Funktionssymbol f ∈ σ hat eineStelligkeit (bzw. Arität, engl. arity)
ar(R) ∈ N>0 bzw. ar(f ) ∈ N>0.
Der griechische Buchstabe σ (in Worten: sigma) bezeichnet eine Signatur.Symbole aus σ werden mit einem Punkt, wie in R bzw. f gekennzeichnet.Für Relationssymbole verwenden wir meist Großbuchstaben wieR, P, E , R1, R2, . . . , für Funktionssymbole Kleinbuchstaben wie f , g , h, . . .und für Konstantensymbole Kleinbuchstaben wie c, d , . . . .Gelegentlich verwenden wir auch
6 (2-stelliges Relationssymbol),+, × (2-stellige Funktionssymbole),0, 1 (Konstantensymbole).
Strukturen 6 / 74
![Page 12: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/12.jpg)
Signaturen
Eine Signatur (bzw. eine Symbolmenge; engl: signature) ist eine Menge σ vonRelationssymbolen, Funktionssymbolen und/oder Konstantensymbolen.
Jedes Relationssymbol R ∈ σ und jedes Funktionssymbol f ∈ σ hat eineStelligkeit (bzw. Arität, engl. arity)
ar(R) ∈ N>0 bzw. ar(f ) ∈ N>0.
Der griechische Buchstabe σ (in Worten: sigma) bezeichnet eine Signatur.Symbole aus σ werden mit einem Punkt, wie in R bzw. f gekennzeichnet.Für Relationssymbole verwenden wir meist Großbuchstaben wieR, P, E , R1, R2, . . . , für Funktionssymbole Kleinbuchstaben wie f , g , h, . . .und für Konstantensymbole Kleinbuchstaben wie c, d , . . . .Gelegentlich verwenden wir auch
6 (2-stelliges Relationssymbol),+, × (2-stellige Funktionssymbole),0, 1 (Konstantensymbole).
Strukturen 6 / 74
![Page 13: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/13.jpg)
Strukturen
Eine Struktur über der Signatur σ (kurz: σ-Struktur) ist ein Paar
A = (A, α),
mit einer nicht-leeren Menge A, dem so genannten Universum(bzw. Träger, engl.: universe, domain) von A, undeiner auf σ definierten Abbildung α, die
I jedem Relationssymbol R ∈ σeine Relation α(R) ⊆ Aar(R) der Stelligkeit ar(R) zuordnet,
I jedem Funktionssymbol f ∈ σ eine Funktion α(f ) : Aar(f ) → A zuordnet undI jedem Konstantensymbol c ∈ σ ein Element α(c) ∈ A zuordnet.
Die Funktion α interpretiert die Relations-, Funktions- und Konstantensymboleder Signatur σ:
α weist jedem Relations-, Funktions- oder Konstantensymbol eine tat-sächliche Relation, Funktion oder Konstante über dem Universum A zu.
Strukturen 7 / 74
![Page 14: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/14.jpg)
Strukturen
Eine Struktur über der Signatur σ (kurz: σ-Struktur) ist ein Paar
A = (A, α),
mit einer nicht-leeren Menge A, dem so genannten Universum(bzw. Träger, engl.: universe, domain) von A, undeiner auf σ definierten Abbildung α, die
I jedem Relationssymbol R ∈ σeine Relation α(R) ⊆ Aar(R) der Stelligkeit ar(R) zuordnet,
I jedem Funktionssymbol f ∈ σ eine Funktion α(f ) : Aar(f ) → A zuordnet undI jedem Konstantensymbol c ∈ σ ein Element α(c) ∈ A zuordnet.
Die Funktion α interpretiert die Relations-, Funktions- und Konstantensymboleder Signatur σ:
α weist jedem Relations-, Funktions- oder Konstantensymbol eine tat-sächliche Relation, Funktion oder Konstante über dem Universum A zu.
Strukturen 7 / 74
![Page 15: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/15.jpg)
Strukturen
Eine Struktur über der Signatur σ (kurz: σ-Struktur) ist ein Paar
A = (A, α),
mit einer nicht-leeren Menge A, dem so genannten Universum(bzw. Träger, engl.: universe, domain) von A, undeiner auf σ definierten Abbildung α, die
I jedem Relationssymbol R ∈ σeine Relation α(R) ⊆ Aar(R) der Stelligkeit ar(R) zuordnet,
I jedem Funktionssymbol f ∈ σ eine Funktion α(f ) : Aar(f ) → A zuordnet undI jedem Konstantensymbol c ∈ σ ein Element α(c) ∈ A zuordnet.
Die Funktion α interpretiert die Relations-, Funktions- und Konstantensymboleder Signatur σ:
α weist jedem Relations-, Funktions- oder Konstantensymbol eine tat-sächliche Relation, Funktion oder Konstante über dem Universum A zu.
Strukturen 7 / 74
![Page 16: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/16.jpg)
Strukturen: Notation
Strukturen bezeichnen wir meistens mit Fraktur-Buchstaben A,B,G, . . . ;das Universum der Strukturen durch die entsprechenden lateinischenGroßbuchstaben, also A,B,G , . . . .Ist A = (A, α) eine σ-Struktur, so schreiben wir für jedes Symbol S ∈ σ oft
SA an Stelle von α(S).Falls σ = {R1, . . . , Rk , f1, . . . , fl , c1, . . . , cm} ist, schreiben wir auch
A = (A, RA1 , . . . , RA
k , f A1 , . . . , f Al , cA1 , . . . , cAm ).
Strukturen 8 / 74
![Page 17: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/17.jpg)
Arithmetische Strukturen
Wir definieren die Signatur
σAr := {+, ×, 0, 1},
wobei +, × 2-stellige Funktionssymbole und 0, 1 Konstantensymbole sind.
Wir betrachten die σAr-Struktur
N := (N, +N , ×N , 0N , 1N ),
wobei +N und ×N die natürliche Addition bzw. Multiplikation auf N sindund 0N := 0, 1N := 1 gilt.
Entsprechend können wir σAr-Strukturen Z,Q,R mit Universum Z, Q und Rdefinieren.
Strukturen 9 / 74
![Page 18: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/18.jpg)
Arithmetische Strukturen
Wir definieren die Signatur
σAr := {+, ×, 0, 1},
wobei +, × 2-stellige Funktionssymbole und 0, 1 Konstantensymbole sind.
Wir betrachten die σAr-Struktur
N := (N, +N , ×N , 0N , 1N ),
wobei +N und ×N die natürliche Addition bzw. Multiplikation auf N sindund 0N :=
0, 1N := 1 gilt.Entsprechend können wir σAr-Strukturen Z,Q,R mit Universum Z, Q und Rdefinieren.
Strukturen 9 / 74
![Page 19: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/19.jpg)
Arithmetische Strukturen
Wir definieren die Signatur
σAr := {+, ×, 0, 1},
wobei +, × 2-stellige Funktionssymbole und 0, 1 Konstantensymbole sind.
Wir betrachten die σAr-Struktur
N := (N, +N , ×N , 0N , 1N ),
wobei +N und ×N die natürliche Addition bzw. Multiplikation auf N sindund 0N := 0, 1N := 1 gilt.
Entsprechend können wir σAr-Strukturen Z,Q,R mit Universum Z, Q und Rdefinieren.
Strukturen 9 / 74
![Page 20: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/20.jpg)
Graphen und Bäume als Strukturen
Wir definieren die Signatur
σGraph := {E},
wobei E ein 2-stelliges Relationssymbol ist.
Jeder gerichtete Graph bzw. gerichtete Baum (V ,E ) lässt sich als σGraph-Struktur
A = (A, EA)
mit Universum A :=
V und Relation EA := E auffassen.
Entsprechend können wir σGraph-Strukturen auch für ungerichtete Graphen undungerichtete Bäume definieren.
Strukturen 10 / 74
![Page 21: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/21.jpg)
Graphen und Bäume als Strukturen
Wir definieren die Signatur
σGraph := {E},
wobei E ein 2-stelliges Relationssymbol ist.
Jeder gerichtete Graph bzw. gerichtete Baum (V ,E ) lässt sich als σGraph-Struktur
A = (A, EA)
mit Universum A := V und Relation EA :=
E auffassen.
Entsprechend können wir σGraph-Strukturen auch für ungerichtete Graphen undungerichtete Bäume definieren.
Strukturen 10 / 74
![Page 22: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/22.jpg)
Graphen und Bäume als Strukturen
Wir definieren die Signatur
σGraph := {E},
wobei E ein 2-stelliges Relationssymbol ist.
Jeder gerichtete Graph bzw. gerichtete Baum (V ,E ) lässt sich als σGraph-Struktur
A = (A, EA)
mit Universum A := V und Relation EA := E auffassen.
Entsprechend können wir σGraph-Strukturen auch für ungerichtete Graphen undungerichtete Bäume definieren.
Strukturen 10 / 74
![Page 23: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/23.jpg)
Eine Kino-Datenbank
Unsere kleine Datenbank besteht aus:
einer Tabelle Orte, die Informationen über Kinos(Kino, Adresse, Telefonnummer) enthält,einer Tabelle Filme mit Informationen über die Filme(Titel, Regie, Schauspieler) undeine Tabelle Programm mit Informationen zum aktuellen Kinoprogramm(Kino, Titel, Zeit).
Strukturen 11 / 74
![Page 24: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/24.jpg)
Die Tabelle „Orte“
Kino Adresse TelefonBabylon Dresdner Str. 2 61609693
Casablanca Friedenstr. 12 6775752Cinestar Cubix Alexanderplatz Rathausstr. 1 2576110
Die Kurbel Giesebrechtstr. 4 88915998Filmpalast Berlin Kurfürstendamm 225 8838551International Karl-Marx-Allee 33 24756011
Kino in der Kulturbrauerei Schönhauser Allee 36 44354422Moviemento Kottbusser Damm 22 6924785
Strukturen 12 / 74
![Page 25: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/25.jpg)
Die Tabelle „Filme“Titel Regie Schauspieler
Capote Bennet Miller Philip Seymour HoffmanCapote Bennet Miller Catherine Keener
Das Leben der Anderen F. Henkel von Donnersmarck Martina GedeckDas Leben der Anderen F. Henkel von Donnersmarck Ulrich Tukur
Der ewige Gärtner Fernando Meirelles Ralph FiennesDer ewige Gärtner Fernando Meirelles Rachel Weisz
Good Night and Good Luck George Clooney David StrathairnGood Night and Good Luck George Clooney Patricia Clarkson
Knallhart Detlev Buck Jenny ElversKnallhart Detlev Buck Jan Henrik Stahlberg
Raumpatrouille Orion – Rücksturz ins Kino Michael Braun Dietmar SchönherrRaumpatrouille Orion – Rücksturz ins Kino Theo Mezger Dietmar SchönherrRaumpatrouille Orion – Rücksturz ins Kino Michael Braun Eva PflugRaumpatrouille Orion – Rücksturz ins Kino Theo Mezger Eva PflugRaumpatrouille Orion – Rücksturz ins Kino Michael Braun Wolfgang VölzRaumpatrouille Orion – Rücksturz ins Kino Theo Mezger Wolfgang Völz
Requiem Hans-Christian Schmid Sandra HüllerSommer vorm Balkon Andreas Dresen Nadja UhlSommer vorm Balkon Andreas Dresen Inka FriedrichSommer vorm Balkon Andreas Dresen Andreas Schmidt
Syriana Stephen Gaghan George ClooneySyriana Stephen Gaghan Matt Damon
V wie Vendetta James McTeigue Natalie PortmanWalk the Line James Mangold Joaquin PhoenixWalk the Line James Mangold Reese Witherspoon
Strukturen 13 / 74
![Page 26: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/26.jpg)
Die Tabelle „Programme“
Kino Titel ZeitBabylon Capote 17:00Babylon Capote 19:30
Kino in der Kulturbrauerei Capote 17:30Kino in der Kulturbrauerei Capote 20:15
International Das Leben der Anderen 14:30International Das Leben der Anderen 17:30International Das Leben der Anderen 20:30
Filmpalast Berlin Good Night and Good Luck 15:30Filmpalast Berlin Good Night and Good Luck 17:45Filmpalast Berlin Good Night and Good Luck 20:00
Kino in der Kulturbrauerei Good Night and Good Luck 18:00Kino in der Kulturbrauerei Good Night and Good Luck 20:00Kino in der Kulturbrauerei Good Night and Good Luck 22:45
Babylon Sommer vorm Balkon 21:45Kino in der Kulturbrauerei Sommer vorm Balkon 21:45Filmmuseum Potsdam Raumpatrouille Orion – Rücksturz ins Kino 22:00
Strukturen 14 / 74
![Page 27: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/27.jpg)
Die Kino-Signatur σKino
Die Signatur σKino besteht aus:
einem 3-stelligen Relationssymbol ˙Orte,einem 3-stelligen Relationssymbol ˙Filme,einem 3-stelligen Relationssymbol ˙Programmund Konstantensymbolen c für jedes Wort c über dem ASCII-Alphabet.Damit werden alle potentiellen Einträge c der Datenbank ermöglicht wie etwa
˙Babylon, ˙Casablanca, . . . , ˙Capote, ˙Das Leben der Anderen, . . . usw., aberauch z.B. ˙Stephen Spielberg oder ˙Lola rennt.
Strukturen 15 / 74
![Page 28: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/28.jpg)
Die Kino-Struktur AKino
Die σKino-Struktur AKino hat als Universum die Menge
AKino :=
ASCII∗
aller Worte über dem ASCII-Alphabet sowie die 3-stelligen Relationen
˙OrteAKino := { (Babylon,Dresdner Str. 2, 61609693),(Casablanca,Friedenstr. 12, 6775752) , . . . ,
(Moviemento,Kottbusser Damm 22, 6924785)},˙FilmeAKino := { (Capote,Bennet Miller,Philip Seymour Hoffman),
(Capote,Bennet Miller,Catherine Keener) , . . . ,(Walk the Line, James Mangold,Reese Witherspoon)},
˙ProgrammAKino := { (Babylon,Capote, 17:00),(Babylon,Capote, 19:30),
(Kino in der Kulturbrauerei,Capote, 17:30) , . . . }
Strukturen 16 / 74
![Page 29: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/29.jpg)
Die Kino-Struktur AKino
Die σKino-Struktur AKino hat als Universum die Menge
AKino := ASCII∗
aller Worte über dem ASCII-Alphabet sowie die 3-stelligen Relationen
˙OrteAKino :=
{ (Babylon,Dresdner Str. 2, 61609693),(Casablanca,Friedenstr. 12, 6775752) , . . . ,
(Moviemento,Kottbusser Damm 22, 6924785)},˙FilmeAKino := { (Capote,Bennet Miller,Philip Seymour Hoffman),
(Capote,Bennet Miller,Catherine Keener) , . . . ,(Walk the Line, James Mangold,Reese Witherspoon)},
˙ProgrammAKino := { (Babylon,Capote, 17:00),(Babylon,Capote, 19:30),
(Kino in der Kulturbrauerei,Capote, 17:30) , . . . }
Strukturen 16 / 74
![Page 30: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/30.jpg)
Die Kino-Struktur AKino
Die σKino-Struktur AKino hat als Universum die Menge
AKino := ASCII∗
aller Worte über dem ASCII-Alphabet sowie die 3-stelligen Relationen
˙OrteAKino := { (Babylon,Dresdner Str. 2, 61609693),(Casablanca,Friedenstr. 12, 6775752) , . . . ,
(Moviemento,Kottbusser Damm 22, 6924785)},˙FilmeAKino :=
{ (Capote,Bennet Miller,Philip Seymour Hoffman),(Capote,Bennet Miller,Catherine Keener) , . . . ,
(Walk the Line, James Mangold,Reese Witherspoon)},˙ProgrammAKino := { (Babylon,Capote, 17:00),
(Babylon,Capote, 19:30),(Kino in der Kulturbrauerei,Capote, 17:30) , . . . }
Strukturen 16 / 74
![Page 31: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/31.jpg)
Die Kino-Struktur AKino
Die σKino-Struktur AKino hat als Universum die Menge
AKino := ASCII∗
aller Worte über dem ASCII-Alphabet sowie die 3-stelligen Relationen
˙OrteAKino := { (Babylon,Dresdner Str. 2, 61609693),(Casablanca,Friedenstr. 12, 6775752) , . . . ,
(Moviemento,Kottbusser Damm 22, 6924785)},˙FilmeAKino := { (Capote,Bennet Miller,Philip Seymour Hoffman),
(Capote,Bennet Miller,Catherine Keener) , . . . ,(Walk the Line, James Mangold,Reese Witherspoon)},
˙ProgrammAKino :=
{ (Babylon,Capote, 17:00),(Babylon,Capote, 19:30),
(Kino in der Kulturbrauerei,Capote, 17:30) , . . . }
Strukturen 16 / 74
![Page 32: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/32.jpg)
Die Kino-Struktur AKino
Die σKino-Struktur AKino hat als Universum die Menge
AKino := ASCII∗
aller Worte über dem ASCII-Alphabet sowie die 3-stelligen Relationen
˙OrteAKino := { (Babylon,Dresdner Str. 2, 61609693),(Casablanca,Friedenstr. 12, 6775752) , . . . ,
(Moviemento,Kottbusser Damm 22, 6924785)},˙FilmeAKino := { (Capote,Bennet Miller,Philip Seymour Hoffman),
(Capote,Bennet Miller,Catherine Keener) , . . . ,(Walk the Line, James Mangold,Reese Witherspoon)},
˙ProgrammAKino := { (Babylon,Capote, 17:00),(Babylon,Capote, 19:30),
(Kino in der Kulturbrauerei,Capote, 17:30) , . . . }
Strukturen 16 / 74
![Page 33: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/33.jpg)
Die Syntax der Prädikatenlogik
Strukturen 17 / 74
![Page 34: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/34.jpg)
Die Formeln der Prädikatenlogik
Sei σ eine Signatur.
Die Formeln der Prädikatenlogik sollen über σ-Strukturen „reden“.
Aber wie sollten wir die Formeln denn definieren?Wir „erfinden“ Variablen vi mit der Absicht, dass vi ein Element des
Universums ist.Aus den Variablen, den Funktions- und Konstantensymbolen bauen wirTerme durch „Ineinandersetzung“.Relationssymbole aus σ (in die Terme eingesetzt werden dürfen) und„gleichgesetzte“ Terme werden mit den logischen Junktoren ¬,∧,∨,→,↔verknüpft.Wir dürfen All- und Existenz-Quantoren einsetzen, um die Variablen derFormel zu binden.
Machen wir uns also an die Definition der Syntax.
Strukturen 18 / 74
![Page 35: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/35.jpg)
Die Formeln der Prädikatenlogik
Sei σ eine Signatur.
Die Formeln der Prädikatenlogik sollen über σ-Strukturen „reden“.
Aber wie sollten wir die Formeln denn definieren?Wir „erfinden“ Variablen vi mit der Absicht, dass vi ein Element desUniversums ist.
Aus den Variablen, den Funktions- und Konstantensymbolen bauen wirTerme durch „Ineinandersetzung“.Relationssymbole aus σ (in die Terme eingesetzt werden dürfen) und„gleichgesetzte“ Terme werden mit den logischen Junktoren ¬,∧,∨,→,↔verknüpft.Wir dürfen All- und Existenz-Quantoren einsetzen, um die Variablen derFormel zu binden.
Machen wir uns also an die Definition der Syntax.
Strukturen 18 / 74
![Page 36: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/36.jpg)
Die Formeln der Prädikatenlogik
Sei σ eine Signatur.
Die Formeln der Prädikatenlogik sollen über σ-Strukturen „reden“.
Aber wie sollten wir die Formeln denn definieren?Wir „erfinden“ Variablen vi mit der Absicht, dass vi ein Element desUniversums ist.Aus den Variablen, den Funktions- und Konstantensymbolen bauen wirTerme durch „Ineinandersetzung“.
Relationssymbole aus σ (in die Terme eingesetzt werden dürfen) und„gleichgesetzte“ Terme werden mit den logischen Junktoren ¬,∧,∨,→,↔verknüpft.Wir dürfen All- und Existenz-Quantoren einsetzen, um die Variablen derFormel zu binden.
Machen wir uns also an die Definition der Syntax.
Strukturen 18 / 74
![Page 37: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/37.jpg)
Die Formeln der Prädikatenlogik
Sei σ eine Signatur.
Die Formeln der Prädikatenlogik sollen über σ-Strukturen „reden“.
Aber wie sollten wir die Formeln denn definieren?Wir „erfinden“ Variablen vi mit der Absicht, dass vi ein Element desUniversums ist.Aus den Variablen, den Funktions- und Konstantensymbolen bauen wirTerme durch „Ineinandersetzung“.Relationssymbole aus σ (in die Terme eingesetzt werden dürfen) und„gleichgesetzte“ Terme werden mit den logischen Junktoren ¬,∧,∨,→,↔verknüpft.
Wir dürfen All- und Existenz-Quantoren einsetzen, um die Variablen derFormel zu binden.
Machen wir uns also an die Definition der Syntax.
Strukturen 18 / 74
![Page 38: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/38.jpg)
Die Formeln der Prädikatenlogik
Sei σ eine Signatur.
Die Formeln der Prädikatenlogik sollen über σ-Strukturen „reden“.
Aber wie sollten wir die Formeln denn definieren?Wir „erfinden“ Variablen vi mit der Absicht, dass vi ein Element desUniversums ist.Aus den Variablen, den Funktions- und Konstantensymbolen bauen wirTerme durch „Ineinandersetzung“.Relationssymbole aus σ (in die Terme eingesetzt werden dürfen) und„gleichgesetzte“ Terme werden mit den logischen Junktoren ¬,∧,∨,→,↔verknüpft.Wir dürfen All- und Existenz-Quantoren einsetzen, um die Variablen derFormel zu binden.
Machen wir uns also an die Definition der Syntax.
Strukturen 18 / 74
![Page 39: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/39.jpg)
Die Formeln der Prädikatenlogik
Syntax 19 / 74
![Page 40: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/40.jpg)
σ-Terme
Sei σ eine Signatur.
(a) Eine Variable hat die Form vi für i ∈ N.Die Menge aller Variablen bezeichnen wir mit Var, d.h.Var = {vi | i ∈ N }.
(b) Das Alphabet Aσ-Terme besteht aus allen Elementen in Var, allen Konstanten-und Funktionssymbolen in σ, den Klammern (, ) und dem Komma ,.
(c) Die Menge Tσ ⊆ A∗σ-Terme der σ-Terme wird rekursiv rekursiv definiert.Basisregeln:
I Für jedes Konstantensymbol c ∈ σ ist c ∈ Tσ.I Für jede Variable x ∈ Var ist x ∈ Tσ.
Rekursive Regeln:I Für jedes Funktionssymbol f ∈ σ und für r := ar(f ) gilt:
Sind t1 ∈ Tσ, . . . , tr ∈ Tσ, so ist auch f (t1, . . . , tr ) ∈ Tσ.
Syntax Terme 20 / 74
![Page 41: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/41.jpg)
σ-Terme
Sei σ eine Signatur.
(a) Eine Variable hat die Form vi für i ∈ N.Die Menge aller Variablen bezeichnen wir mit Var, d.h.Var = {vi | i ∈ N }.
(b) Das Alphabet Aσ-Terme besteht aus allen Elementen in Var, allen Konstanten-und Funktionssymbolen in σ, den Klammern (, ) und dem Komma ,.
(c) Die Menge Tσ ⊆ A∗σ-Terme der σ-Terme wird rekursiv rekursiv definiert.Basisregeln:
I Für jedes Konstantensymbol c ∈ σ ist c ∈ Tσ.I Für jede Variable x ∈ Var ist x ∈ Tσ.
Rekursive Regeln:I Für jedes Funktionssymbol f ∈ σ und für r := ar(f ) gilt:
Sind t1 ∈ Tσ, . . . , tr ∈ Tσ, so ist auch f (t1, . . . , tr ) ∈ Tσ.
Syntax Terme 20 / 74
![Page 42: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/42.jpg)
σ-Terme
Sei σ eine Signatur.
(a) Eine Variable hat die Form vi für i ∈ N.Die Menge aller Variablen bezeichnen wir mit Var, d.h.Var = {vi | i ∈ N }.
(b) Das Alphabet Aσ-Terme besteht aus allen Elementen in Var, allen Konstanten-und Funktionssymbolen in σ, den Klammern (, ) und dem Komma ,.
(c) Die Menge Tσ ⊆ A∗σ-Terme der σ-Terme wird rekursiv rekursiv definiert.Basisregeln:
I Für jedes Konstantensymbol c ∈ σ ist c ∈ Tσ.I Für jede Variable x ∈ Var ist x ∈ Tσ.
Rekursive Regeln:I Für jedes Funktionssymbol f ∈ σ und für r := ar(f ) gilt:
Sind t1 ∈ Tσ, . . . , tr ∈ Tσ, so ist auch f (t1, . . . , tr ) ∈ Tσ.
Syntax Terme 20 / 74
![Page 43: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/43.jpg)
σ-Terme
Sei σ eine Signatur.
(a) Eine Variable hat die Form vi für i ∈ N.Die Menge aller Variablen bezeichnen wir mit Var, d.h.Var = {vi | i ∈ N }.
(b) Das Alphabet Aσ-Terme besteht aus allen Elementen in Var, allen Konstanten-und Funktionssymbolen in σ, den Klammern (, ) und dem Komma ,.
(c) Die Menge Tσ ⊆ A∗σ-Terme der σ-Terme wird rekursiv rekursiv definiert.Basisregeln:
I Für jedes Konstantensymbol c ∈ σ ist c ∈ Tσ.I Für jede Variable x ∈ Var ist x ∈ Tσ.
Rekursive Regeln:I Für jedes Funktionssymbol f ∈ σ und für r := ar(f ) gilt:
Sind t1 ∈ Tσ, . . . , tr ∈ Tσ, so ist auch f (t1, . . . , tr ) ∈ Tσ.
Syntax Terme 20 / 74
![Page 44: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/44.jpg)
σ-Terme
Sei σ eine Signatur.
(a) Eine Variable hat die Form vi für i ∈ N.Die Menge aller Variablen bezeichnen wir mit Var, d.h.Var = {vi | i ∈ N }.
(b) Das Alphabet Aσ-Terme besteht aus allen Elementen in Var, allen Konstanten-und Funktionssymbolen in σ, den Klammern (, ) und dem Komma ,.
(c) Die Menge Tσ ⊆ A∗σ-Terme der σ-Terme wird rekursiv rekursiv definiert.Basisregeln:
I Für jedes Konstantensymbol c ∈ σ ist c ∈ Tσ.I Für jede Variable x ∈ Var ist x ∈ Tσ.
Rekursive Regeln:I Für jedes Funktionssymbol f ∈ σ und für r := ar(f ) gilt:
Sind t1 ∈ Tσ, . . . , tr ∈ Tσ, so ist auch f (t1, . . . , tr ) ∈ Tσ.
Syntax Terme 20 / 74
![Page 45: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/45.jpg)
σ-Terme: Beispiele
Sei σ = {f , c} die Signatur, die aus einem 2-stelligen Funktionssymbol f undeinem Konstantensymbol c besteht.
Folgende Worte sind σ-Terme:
c, v4, f (c, c), f (c, v0), f(c, f (c, v0)
).
Die nächsten Worte sind keine σ-Terme:
0, f (0, c), f (v0, c, v1), f A(2, 3).
Syntax Terme 21 / 74
![Page 46: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/46.jpg)
σ-Terme: Beispiele
Sei σ = {f , c} die Signatur, die aus einem 2-stelligen Funktionssymbol f undeinem Konstantensymbol c besteht.
Folgende Worte sind σ-Terme:
c, v4, f (c, c), f (c, v0), f(c, f (c, v0)
).
Die nächsten Worte sind keine σ-Terme:
0, f (0, c), f (v0, c, v1), f A(2, 3).
Syntax Terme 21 / 74
![Page 47: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/47.jpg)
Das Formelalphabet Aσ
Sei σ eine Signatur.
Das Alphabet Aσ der Prädikatenlogik (über σ) besteht aus:allen Symbolen in Aσ-Terme
allen Relationssymbolen in σden Quantoren ∃ (Existenzquantor) und ∀ (Allquantor)dem Gleichheitssymbol =den Junktoren ¬,∧,∨,→,↔.
D.h.
Aσ = Aσ-Terme ∪ σ ∪ {∃,∀} ∪ {=} ∪ {¬,∧,∨,→,↔, (, )} ∪ {, }.
Syntax Terme 22 / 74
![Page 48: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/48.jpg)
Die Syntax der Prädikatenlogik: Atomare Formeln
Sei σ eine Signatur.
Die Menge
FO[σ] (FO –first-order logic– ist englisch für Logik erster Stufe)
aller Formeln der Prädikatenlogik über σ wird rekursiv wie folgt definiert:
Basisregeln:Für alle σ-Terme t1 und t2 in Tσ gilt:
t1=t2 ∈ FO[σ].
Für jedes Relationssymbol R ∈ σ, für r := ar(R) und für alle σ-Termet1, . . . , tr in Tσ gilt:
R(t1, . . . , tr ) ∈ FO[σ].
Die FO[σ]-Formeln t1=t2 oder R(t1, . . . , tr ) heißen atomare σ-Formeln.
Syntax Atomare Formeln 23 / 74
![Page 49: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/49.jpg)
Die Syntax der Prädikatenlogik: Atomare Formeln
Sei σ eine Signatur.
Die Menge
FO[σ] (FO –first-order logic– ist englisch für Logik erster Stufe)
aller Formeln der Prädikatenlogik über σ wird rekursiv wie folgt definiert:
Basisregeln:Für alle σ-Terme t1 und t2 in Tσ gilt:
t1=t2 ∈ FO[σ].
Für jedes Relationssymbol R ∈ σ, für r := ar(R) und für alle σ-Termet1, . . . , tr in Tσ gilt:
R(t1, . . . , tr ) ∈ FO[σ].
Die FO[σ]-Formeln t1=t2 oder R(t1, . . . , tr ) heißen atomare σ-Formeln.
Syntax Atomare Formeln 23 / 74
![Page 50: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/50.jpg)
Die Syntax der Prädikatenlogik: Komplexe Formeln
Rekursive Regeln:Ist φ ∈ FO[σ], so ist auch ¬φ ∈ FO[σ].
Ist φ ∈ FO[σ] und ψ ∈ FO[σ], so ist auchI (φ ∧ ψ) ∈ FO[σ]I (φ ∨ ψ) ∈ FO[σ]I (φ→ ψ) ∈ FO[σ]I (φ↔ ψ) ∈ FO[σ].
Ist φ ∈ FO[σ] und ist x ∈ Var, so ist auchI ∃x φ ∈ FO[σ]I ∀x φ ∈ FO[σ].
Syntax Komplexe Formeln 24 / 74
![Page 51: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/51.jpg)
Die Syntax der Prädikatenlogik: Komplexe Formeln
Rekursive Regeln:Ist φ ∈ FO[σ], so ist auch ¬φ ∈ FO[σ].
Ist φ ∈ FO[σ] und ψ ∈ FO[σ], so ist auchI (φ ∧ ψ) ∈ FO[σ]I (φ ∨ ψ) ∈ FO[σ]I (φ→ ψ) ∈ FO[σ]I (φ↔ ψ) ∈ FO[σ].
Ist φ ∈ FO[σ] und ist x ∈ Var, so ist auchI ∃x φ ∈ FO[σ]I ∀x φ ∈ FO[σ].
Syntax Komplexe Formeln 24 / 74
![Page 52: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/52.jpg)
Die Syntax der Prädikatenlogik: Komplexe Formeln
Rekursive Regeln:Ist φ ∈ FO[σ], so ist auch ¬φ ∈ FO[σ].
Ist φ ∈ FO[σ] und ψ ∈ FO[σ], so ist auchI (φ ∧ ψ) ∈ FO[σ]I (φ ∨ ψ) ∈ FO[σ]I (φ→ ψ) ∈ FO[σ]I (φ↔ ψ) ∈ FO[σ].
Ist φ ∈ FO[σ] und ist x ∈ Var, so ist auchI ∃x φ ∈ FO[σ]I ∀x φ ∈ FO[σ].
Syntax Komplexe Formeln 24 / 74
![Page 53: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/53.jpg)
Um die Lesbarkeit von Formeln zu verbessern:
Statt mit v0, v1, v2, . . . bezeichnen wir Variablen oft auch mitx , y , z , . . . oder mit Varianten wie x ′, y1, y2, . . . .Für gewisse 2-stellige Relationssymbole wie z.B. 6 ∈ σOrd verwenden wir dieInfix- statt Präfixschreibweise und setzen Klammern auf natürliche Weise:
Beispiel :An Stelle der (formal korrekten) atomaren Formel 6(x , y) schreiben wir x 6y .
Wir üben, bevor wir die Semantik der Prädikatenlogik formal einführen.
Syntax Komplexe Formeln 25 / 74
![Page 54: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/54.jpg)
Formeln, die über gerichtete Graphen reden
Sei σGraph = {E} mit dem zweistelligen Relationssymbol E .
(a) Die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
)besagt:
„Für alle Knoten x , y gilt: Falls es eine Kante von x nach y gibt, sogibt es auch eine Kante von y nach x .“ Ein Graph A = (A, EA) „sollte“ φgenau dann erfüllen, wenn dessen Kantenrelation symmetrisch ist.
(b) Die Formel
φ(x , y) := ∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
).
drückt aus, dass es einen Weg der Länge 3 von Knoten x zu Knoten y gibt.(c) Was besagt die folgende FO[σGraph]-Formel?
∀x∀y∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
)Es gibt zwischen je 2 Knoten einen Weg der Länge 3.
Syntax Komplexe Formeln 26 / 74
![Page 55: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/55.jpg)
Formeln, die über gerichtete Graphen reden
Sei σGraph = {E} mit dem zweistelligen Relationssymbol E .
(a) Die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
)besagt: „Für alle Knoten x , y gilt: Falls es eine Kante von x nach y gibt, sogibt es auch eine Kante von y nach x .“ Ein Graph A = (A, EA) „sollte“ φgenau dann erfüllen, wenn dessen Kantenrelation symmetrisch ist.
(b) Die Formel
φ(x , y) := ∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
).
drückt aus, dass es einen Weg der Länge 3 von Knoten x zu Knoten y gibt.(c) Was besagt die folgende FO[σGraph]-Formel?
∀x∀y∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
)Es gibt zwischen je 2 Knoten einen Weg der Länge 3.
Syntax Komplexe Formeln 26 / 74
![Page 56: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/56.jpg)
Formeln, die über gerichtete Graphen reden
Sei σGraph = {E} mit dem zweistelligen Relationssymbol E .
(a) Die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
)besagt: „Für alle Knoten x , y gilt: Falls es eine Kante von x nach y gibt, sogibt es auch eine Kante von y nach x .“ Ein Graph A = (A, EA) „sollte“ φgenau dann erfüllen, wenn dessen Kantenrelation symmetrisch ist.
(b) Die Formel
φ(x , y) := ∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
).
drückt aus, dass
es einen Weg der Länge 3 von Knoten x zu Knoten y gibt.(c) Was besagt die folgende FO[σGraph]-Formel?
∀x∀y∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
)Es gibt zwischen je 2 Knoten einen Weg der Länge 3.
Syntax Komplexe Formeln 26 / 74
![Page 57: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/57.jpg)
Formeln, die über gerichtete Graphen reden
Sei σGraph = {E} mit dem zweistelligen Relationssymbol E .
(a) Die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
)besagt: „Für alle Knoten x , y gilt: Falls es eine Kante von x nach y gibt, sogibt es auch eine Kante von y nach x .“ Ein Graph A = (A, EA) „sollte“ φgenau dann erfüllen, wenn dessen Kantenrelation symmetrisch ist.
(b) Die Formel
φ(x , y) := ∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
).
drückt aus, dass es einen Weg der Länge 3 von Knoten x zu Knoten y gibt.
(c) Was besagt die folgende FO[σGraph]-Formel?
∀x∀y∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
)Es gibt zwischen je 2 Knoten einen Weg der Länge 3.
Syntax Komplexe Formeln 26 / 74
![Page 58: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/58.jpg)
Formeln, die über gerichtete Graphen reden
Sei σGraph = {E} mit dem zweistelligen Relationssymbol E .
(a) Die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
)besagt: „Für alle Knoten x , y gilt: Falls es eine Kante von x nach y gibt, sogibt es auch eine Kante von y nach x .“ Ein Graph A = (A, EA) „sollte“ φgenau dann erfüllen, wenn dessen Kantenrelation symmetrisch ist.
(b) Die Formel
φ(x , y) := ∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
).
drückt aus, dass es einen Weg der Länge 3 von Knoten x zu Knoten y gibt.(c) Was besagt die folgende FO[σGraph]-Formel?
∀x∀y∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
)
Es gibt zwischen je 2 Knoten einen Weg der Länge 3.
Syntax Komplexe Formeln 26 / 74
![Page 59: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/59.jpg)
Formeln, die über gerichtete Graphen reden
Sei σGraph = {E} mit dem zweistelligen Relationssymbol E .
(a) Die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
)besagt: „Für alle Knoten x , y gilt: Falls es eine Kante von x nach y gibt, sogibt es auch eine Kante von y nach x .“ Ein Graph A = (A, EA) „sollte“ φgenau dann erfüllen, wenn dessen Kantenrelation symmetrisch ist.
(b) Die Formel
φ(x , y) := ∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
).
drückt aus, dass es einen Weg der Länge 3 von Knoten x zu Knoten y gibt.(c) Was besagt die folgende FO[σGraph]-Formel?
∀x∀y∃z1∃z2((
E (x , z1) ∧ E (z1, z2))∧ E (z2, y)
)Es gibt zwischen je 2 Knoten einen Weg der Länge 3.
Syntax Komplexe Formeln 26 / 74
![Page 60: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/60.jpg)
Formeln, die über die natürlichen Zahlen reden
Sei σAr := {+, ×, 0, 1} die arithmetische Signatur.
(a) Die FO[σAr]-Formelφ := ∀x∀y x +y =y +x
besagt, dass
die Addition kommutativ ist.(b) Die Formel
ψ := ∀x∀y∀z (x ×y)×z =x ×(y ×z)
besagt, dass die Multiplikation assoziativ ist.(c) Um die Struktur N := (N, +N , ×N , 0N , 1N ) der natürlichen Zahlen
zu beschreiben, wird in den Peano-Axiomen die vollständige Induktionfür jede FO[σAr]-Formel α(x) mit einer FO[σAr]-Formel βα gefordert:
βα :=(α(0) ∧ ∀x
(α(x)→ α(x +1)
))→ ∀x α(x).
Syntax Komplexe Formeln 27 / 74
![Page 61: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/61.jpg)
Formeln, die über die natürlichen Zahlen reden
Sei σAr := {+, ×, 0, 1} die arithmetische Signatur.
(a) Die FO[σAr]-Formelφ := ∀x∀y x +y =y +x
besagt, dass die Addition kommutativ ist.(b) Die Formel
ψ := ∀x∀y∀z (x ×y)×z =x ×(y ×z)
besagt, dass
die Multiplikation assoziativ ist.(c) Um die Struktur N := (N, +N , ×N , 0N , 1N ) der natürlichen Zahlen
zu beschreiben, wird in den Peano-Axiomen die vollständige Induktionfür jede FO[σAr]-Formel α(x) mit einer FO[σAr]-Formel βα gefordert:
βα :=(α(0) ∧ ∀x
(α(x)→ α(x +1)
))→ ∀x α(x).
Syntax Komplexe Formeln 27 / 74
![Page 62: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/62.jpg)
Formeln, die über die natürlichen Zahlen reden
Sei σAr := {+, ×, 0, 1} die arithmetische Signatur.
(a) Die FO[σAr]-Formelφ := ∀x∀y x +y =y +x
besagt, dass die Addition kommutativ ist.(b) Die Formel
ψ := ∀x∀y∀z (x ×y)×z =x ×(y ×z)
besagt, dass die Multiplikation assoziativ ist.(c) Um die Struktur N := (N, +N , ×N , 0N , 1N ) der natürlichen Zahlen
zu beschreiben, wird in den Peano-Axiomen die vollständige Induktionfür jede FO[σAr]-Formel α(x) mit einer FO[σAr]-Formel βα gefordert:
βα :=(α(0) ∧ ∀x
(α(x)→ α(x +1)
))→ ∀x α(x).
Syntax Komplexe Formeln 27 / 74
![Page 63: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/63.jpg)
Formeln, die über die natürlichen Zahlen reden
Sei σAr := {+, ×, 0, 1} die arithmetische Signatur.
(a) Die FO[σAr]-Formelφ := ∀x∀y x +y =y +x
besagt, dass die Addition kommutativ ist.(b) Die Formel
ψ := ∀x∀y∀z (x ×y)×z =x ×(y ×z)
besagt, dass die Multiplikation assoziativ ist.(c) Um die Struktur N := (N, +N , ×N , 0N , 1N ) der natürlichen Zahlen
zu beschreiben, wird in den Peano-Axiomen die vollständige Induktionfür jede FO[σAr]-Formel α(x) mit einer FO[σAr]-Formel βα gefordert:
βα :=(α(0) ∧ ∀x
(α(x)→ α(x +1)
))→ ∀x α(x).
Syntax Komplexe Formeln 27 / 74
![Page 64: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/64.jpg)
Formeln, die über Verwandschaftsbeziehungen reden (1/2)
Um Verwandtschaftsbeziehungen zu modellieren, erfinden wir die Signatur σ mitden folgenden Symbolen:
1-stellige Funktionssymbole ˙Vater, ˙Mutter(Gewünschte Bedeutung: x = ˙Mutter(y) besagt „x ist die Muttter von y“.)2-stellige Relationssymbole ˙Geschwister, ˙Vorfahr(Gewünschte Bedeutung: ˙Geschwister(x , y) besagt, dass x und yGeschwister sind; ˙Vorfahr(x , y) besagt, dass x ein Vorfahr von y ist.)
Wissen über Verwandtschaftsbeziehungen lässt sich durch Formeln derPrädikatenlogik repräsentieren, beispielsweise:(a) „Personen mit gleichem Vater und gleicher Mutter sind Geschwister“:
∀x∀y(( ˙Vater(x)= ˙Vater(y) ∧ ˙Mutter(x)= ˙Mutter(y)
)→ ˙Geschwister(x , y)
).
(b) „Die Relation ˙Vorfahr ist transitiv“:
∀x∀y∀z(( ˙Vorfahr(x , y) ∧ ˙Vorfahr(y , z)
)→ ˙Vorfahr(x , z)
).
Syntax Komplexe Formeln 28 / 74
![Page 65: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/65.jpg)
Formeln, die über Verwandschaftsbeziehungen reden (1/2)
Um Verwandtschaftsbeziehungen zu modellieren, erfinden wir die Signatur σ mitden folgenden Symbolen:
1-stellige Funktionssymbole ˙Vater, ˙Mutter(Gewünschte Bedeutung: x = ˙Mutter(y) besagt „x ist die Muttter von y“.)2-stellige Relationssymbole ˙Geschwister, ˙Vorfahr(Gewünschte Bedeutung: ˙Geschwister(x , y) besagt, dass x und yGeschwister sind; ˙Vorfahr(x , y) besagt, dass x ein Vorfahr von y ist.)
Wissen über Verwandtschaftsbeziehungen lässt sich durch Formeln derPrädikatenlogik repräsentieren, beispielsweise:(a) „Personen mit gleichem Vater und gleicher Mutter sind Geschwister“:
∀x∀y(( ˙Vater(x)= ˙Vater(y) ∧ ˙Mutter(x)= ˙Mutter(y)
)→ ˙Geschwister(x , y)
).
(b) „Die Relation ˙Vorfahr ist transitiv“:
∀x∀y∀z(( ˙Vorfahr(x , y) ∧ ˙Vorfahr(y , z)
)→ ˙Vorfahr(x , z)
).
Syntax Komplexe Formeln 28 / 74
![Page 66: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/66.jpg)
Formeln, die über Verwandschaftsbeziehungen reden (1/2)
Um Verwandtschaftsbeziehungen zu modellieren, erfinden wir die Signatur σ mitden folgenden Symbolen:
1-stellige Funktionssymbole ˙Vater, ˙Mutter(Gewünschte Bedeutung: x = ˙Mutter(y) besagt „x ist die Muttter von y“.)2-stellige Relationssymbole ˙Geschwister, ˙Vorfahr(Gewünschte Bedeutung: ˙Geschwister(x , y) besagt, dass x und yGeschwister sind; ˙Vorfahr(x , y) besagt, dass x ein Vorfahr von y ist.)
Wissen über Verwandtschaftsbeziehungen lässt sich durch Formeln derPrädikatenlogik repräsentieren, beispielsweise:(a) „Personen mit gleichem Vater und gleicher Mutter sind Geschwister“:
∀x∀y(( ˙Vater(x)= ˙Vater(y) ∧ ˙Mutter(x)= ˙Mutter(y)
)→ ˙Geschwister(x , y)
).
(b) „Die Relation ˙Vorfahr ist transitiv“:
∀x∀y∀z(( ˙Vorfahr(x , y) ∧ ˙Vorfahr(y , z)
)→ ˙Vorfahr(x , z)
).
Syntax Komplexe Formeln 28 / 74
![Page 67: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/67.jpg)
Formeln, die über Verwandschaftsbeziehungen reden (1/2)
Um Verwandtschaftsbeziehungen zu modellieren, erfinden wir die Signatur σ mitden folgenden Symbolen:
1-stellige Funktionssymbole ˙Vater, ˙Mutter(Gewünschte Bedeutung: x = ˙Mutter(y) besagt „x ist die Muttter von y“.)2-stellige Relationssymbole ˙Geschwister, ˙Vorfahr(Gewünschte Bedeutung: ˙Geschwister(x , y) besagt, dass x und yGeschwister sind; ˙Vorfahr(x , y) besagt, dass x ein Vorfahr von y ist.)
Wissen über Verwandtschaftsbeziehungen lässt sich durch Formeln derPrädikatenlogik repräsentieren, beispielsweise:(a) „Personen mit gleichem Vater und gleicher Mutter sind Geschwister“:
∀x∀y(( ˙Vater(x)= ˙Vater(y) ∧ ˙Mutter(x)= ˙Mutter(y)
)→ ˙Geschwister(x , y)
).
(b) „Die Relation ˙Vorfahr ist transitiv“:
∀x∀y∀z(( ˙Vorfahr(x , y) ∧ ˙Vorfahr(y , z)
)→ ˙Vorfahr(x , z)
).
Syntax Komplexe Formeln 28 / 74
![Page 68: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/68.jpg)
Formeln, die über Verwandschaftsbeziehungen reden (1/2)
Um Verwandtschaftsbeziehungen zu modellieren, erfinden wir die Signatur σ mitden folgenden Symbolen:
1-stellige Funktionssymbole ˙Vater, ˙Mutter(Gewünschte Bedeutung: x = ˙Mutter(y) besagt „x ist die Muttter von y“.)2-stellige Relationssymbole ˙Geschwister, ˙Vorfahr(Gewünschte Bedeutung: ˙Geschwister(x , y) besagt, dass x und yGeschwister sind; ˙Vorfahr(x , y) besagt, dass x ein Vorfahr von y ist.)
Wissen über Verwandtschaftsbeziehungen lässt sich durch Formeln derPrädikatenlogik repräsentieren, beispielsweise:(a) „Personen mit gleichem Vater und gleicher Mutter sind Geschwister“:
∀x∀y(( ˙Vater(x)= ˙Vater(y) ∧ ˙Mutter(x)= ˙Mutter(y)
)→ ˙Geschwister(x , y)
).
(b) „Die Relation ˙Vorfahr ist transitiv“:
∀x∀y∀z(( ˙Vorfahr(x , y) ∧ ˙Vorfahr(y , z)
)→ ˙Vorfahr(x , z)
).
Syntax Komplexe Formeln 28 / 74
![Page 69: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/69.jpg)
Formeln, die über Verwandschaftsbeziehungen reden (2/2)
(c) „Eltern sind die einzigen unmittelbaren Vorfahren“:
∀x∀y((
x = ˙Vater(y) ∨ x = ˙Mutter(y))
↔(
˙Vorfahr(x , y) ∧ ¬∃z( ˙Vorfahr(x , z) ∧ ˙Vorfahr(z , y)
))).
(d) Die folgende Formel φ(x , y) besagt, dass x Tante oder Onkel von y ist:
φ(x , y) := ∃z(
˙Geschwister(x , z) ∧(z = ˙Vater(y) ∨ z = ˙Mutter(y)
)).
(e) Die folgende Formel ψ(x) besagt, dass x Vater von genau 2 Kindern ist:
ψ(x) := ∃y1∃y2(((
x = ˙Vater(y1) ∧ x = ˙Vater(y2))∧ ¬y1=y2
)∧ ∀z
(x = ˙Vater(z)→ (z =y1 ∨ z =y2)
)).
Syntax Komplexe Formeln 29 / 74
![Page 70: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/70.jpg)
Formeln, die über Verwandschaftsbeziehungen reden (2/2)
(c) „Eltern sind die einzigen unmittelbaren Vorfahren“:
∀x∀y((
x = ˙Vater(y) ∨ x = ˙Mutter(y))
↔(
˙Vorfahr(x , y) ∧ ¬∃z( ˙Vorfahr(x , z) ∧ ˙Vorfahr(z , y)
))).
(d) Die folgende Formel φ(x , y) besagt, dass x Tante oder Onkel von y ist:
φ(x , y) := ∃z(
˙Geschwister(x , z) ∧(z = ˙Vater(y) ∨ z = ˙Mutter(y)
)).
(e) Die folgende Formel ψ(x) besagt, dass x Vater von genau 2 Kindern ist:
ψ(x) := ∃y1∃y2(((
x = ˙Vater(y1) ∧ x = ˙Vater(y2))∧ ¬y1=y2
)∧ ∀z
(x = ˙Vater(z)→ (z =y1 ∨ z =y2)
)).
Syntax Komplexe Formeln 29 / 74
![Page 71: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/71.jpg)
Formeln, die über Verwandschaftsbeziehungen reden (2/2)
(c) „Eltern sind die einzigen unmittelbaren Vorfahren“:
∀x∀y((
x = ˙Vater(y) ∨ x = ˙Mutter(y))
↔(
˙Vorfahr(x , y) ∧ ¬∃z( ˙Vorfahr(x , z) ∧ ˙Vorfahr(z , y)
))).
(d) Die folgende Formel φ(x , y) besagt, dass x Tante oder Onkel von y ist:
φ(x , y) := ∃z(
˙Geschwister(x , z) ∧(z = ˙Vater(y) ∨ z = ˙Mutter(y)
)).
(e) Die folgende Formel ψ(x) besagt, dass x Vater von genau 2 Kindern ist:
ψ(x) := ∃y1∃y2(((
x = ˙Vater(y1) ∧ x = ˙Vater(y2))∧ ¬y1=y2
)∧ ∀z
(x = ˙Vater(z)→ (z =y1 ∨ z =y2)
)).
Syntax Komplexe Formeln 29 / 74
![Page 72: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/72.jpg)
Formeln, die über Verwandschaftsbeziehungen reden (2/2)
(c) „Eltern sind die einzigen unmittelbaren Vorfahren“:
∀x∀y((
x = ˙Vater(y) ∨ x = ˙Mutter(y))
↔(
˙Vorfahr(x , y) ∧ ¬∃z( ˙Vorfahr(x , z) ∧ ˙Vorfahr(z , y)
))).
(d) Die folgende Formel φ(x , y) besagt, dass x Tante oder Onkel von y ist:
φ(x , y) := ∃z(
˙Geschwister(x , z) ∧(z = ˙Vater(y) ∨ z = ˙Mutter(y)
)).
(e) Die folgende Formel ψ(x) besagt, dass x Vater von genau 2 Kindern ist:
ψ(x) := ∃y1∃y2(((
x = ˙Vater(y1) ∧ x = ˙Vater(y2))∧ ¬y1=y2
)∧ ∀z
(x = ˙Vater(z)→ (z =y1 ∨ z =y2)
)).
Syntax Komplexe Formeln 29 / 74
![Page 73: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/73.jpg)
Formeln, die über Verwandschaftsbeziehungen reden (2/2)
(c) „Eltern sind die einzigen unmittelbaren Vorfahren“:
∀x∀y((
x = ˙Vater(y) ∨ x = ˙Mutter(y))
↔(
˙Vorfahr(x , y) ∧ ¬∃z( ˙Vorfahr(x , z) ∧ ˙Vorfahr(z , y)
))).
(d) Die folgende Formel φ(x , y) besagt, dass x Tante oder Onkel von y ist:
φ(x , y) := ∃z(
˙Geschwister(x , z) ∧(z = ˙Vater(y) ∨ z = ˙Mutter(y)
)).
(e) Die folgende Formel ψ(x) besagt, dass x Vater von genau 2 Kindern ist:
ψ(x) := ∃y1∃y2(((
x = ˙Vater(y1) ∧ x = ˙Vater(y2))∧ ¬y1=y2
)∧ ∀z
(x = ˙Vater(z)→ (z =y1 ∨ z =y2)
)).
Syntax Komplexe Formeln 29 / 74
![Page 74: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/74.jpg)
Formeln, die über Verwandschaftsbeziehungen reden (2/2)
(c) „Eltern sind die einzigen unmittelbaren Vorfahren“:
∀x∀y((
x = ˙Vater(y) ∨ x = ˙Mutter(y))
↔(
˙Vorfahr(x , y) ∧ ¬∃z( ˙Vorfahr(x , z) ∧ ˙Vorfahr(z , y)
))).
(d) Die folgende Formel φ(x , y) besagt, dass x Tante oder Onkel von y ist:
φ(x , y) := ∃z(
˙Geschwister(x , z) ∧(z = ˙Vater(y) ∨ z = ˙Mutter(y)
)).
(e) Die folgende Formel ψ(x) besagt, dass x Vater von genau 2 Kindern ist:
ψ(x) := ∃y1∃y2(((
x = ˙Vater(y1) ∧ x = ˙Vater(y2))∧ ¬y1=y2
)∧ ∀z
(x = ˙Vater(z)→ (z =y1 ∨ z =y2)
)).
Syntax Komplexe Formeln 29 / 74
![Page 75: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/75.jpg)
Die Zermelo-Fraenkel Mengenlehre
Syntax Komplexe Formeln 30 / 74
![Page 76: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/76.jpg)
ZF: Extensionalität und die Nullmenge
Die Formeln der Mengenlehre benutzen die Signatur
σ := {·∈}
mit dem 2-stelligen Relationssymbol·∈. Die Zermelo-Fraenkel Mengenlehre
besteht aus der Menge ZF aller Axiome:
1. Das Extensionalitätsaxiom: Zwei Mengen A,B sind genau gleich, wenn siedieselben Elemente besitzen:
A ·= B ↔ ∀x(x·∈ A↔ x
·∈ B
).
2. Das Nullmengenaxiom fordert, dass die leere Menge eine Menge ist:
∃A∀x ¬(x·∈ A
)Als Folgerung des Extensionalitätsaxioms und des Nullmengenaxioms gibt esgenau eine leere Menge, die wir natürlich mit ∅ bezeichnen.
Syntax Komplexe Formeln 31 / 74
![Page 77: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/77.jpg)
ZF: Extensionalität und die Nullmenge
Die Formeln der Mengenlehre benutzen die Signatur
σ := {·∈}
mit dem 2-stelligen Relationssymbol·∈. Die Zermelo-Fraenkel Mengenlehre
besteht aus der Menge ZF aller Axiome:
1. Das Extensionalitätsaxiom: Zwei Mengen A,B sind genau gleich, wenn siedieselben Elemente besitzen:
A ·= B ↔
∀x(x·∈ A↔ x
·∈ B
).
2. Das Nullmengenaxiom fordert, dass die leere Menge eine Menge ist:
∃A∀x ¬(x·∈ A
)Als Folgerung des Extensionalitätsaxioms und des Nullmengenaxioms gibt esgenau eine leere Menge, die wir natürlich mit ∅ bezeichnen.
Syntax Komplexe Formeln 31 / 74
![Page 78: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/78.jpg)
ZF: Extensionalität und die Nullmenge
Die Formeln der Mengenlehre benutzen die Signatur
σ := {·∈}
mit dem 2-stelligen Relationssymbol·∈. Die Zermelo-Fraenkel Mengenlehre
besteht aus der Menge ZF aller Axiome:
1. Das Extensionalitätsaxiom: Zwei Mengen A,B sind genau gleich, wenn siedieselben Elemente besitzen:
A ·= B ↔ ∀x(x·∈ A↔ x
·∈ B
).
2. Das Nullmengenaxiom fordert, dass die leere Menge eine Menge ist:
∃A∀x ¬(x·∈ A
)Als Folgerung des Extensionalitätsaxioms und des Nullmengenaxioms gibt esgenau eine leere Menge, die wir natürlich mit ∅ bezeichnen.
Syntax Komplexe Formeln 31 / 74
![Page 79: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/79.jpg)
ZF: Extensionalität und die Nullmenge
Die Formeln der Mengenlehre benutzen die Signatur
σ := {·∈}
mit dem 2-stelligen Relationssymbol·∈. Die Zermelo-Fraenkel Mengenlehre
besteht aus der Menge ZF aller Axiome:
1. Das Extensionalitätsaxiom: Zwei Mengen A,B sind genau gleich, wenn siedieselben Elemente besitzen:
A ·= B ↔ ∀x(x·∈ A↔ x
·∈ B
).
2. Das Nullmengenaxiom fordert, dass die leere Menge eine Menge ist:
∃A∀x ¬(x·∈ A
)Als Folgerung des Extensionalitätsaxioms und des Nullmengenaxioms gibt esgenau eine leere Menge, die wir natürlich mit ∅ bezeichnen.
Syntax Komplexe Formeln 31 / 74
![Page 80: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/80.jpg)
ZF: Das Paarmengenaxiom . . .
3. Das Paarmengenaxiom fordert, dass für alle Mengen A,B auch {A,B} eineMenge ist:
∀A ∀B ∃C
∀x(x·∈ C ↔
(x ·= A ∨ x ·= B
)).
4. Das Vereinigungsaxiom besagt, dass mit jeder Menge A von Mengen auchdie Vereinigung
⋃a∈A a aller Elemente von A eine Menge ist:
∀A ∃B ∀x(x·∈ B ↔ ∃y
(y·∈ A ∧ x
·∈ y)).
Paarmengenaxiom und Vereinigungsaxiom zusammen garantieren, dass auchdie Vereinigung A1 ∪ A2 von zwei Mengen A1,A2 eine Menge ist. Dazu bildenwir zuerst die Paarmenge {A1,A2} und beachten A1 ∪ A2 =
⋃a∈{A1,A2} a.
5. Das Potenzmengenaxiom fordert, dass die Menge aller Teilmengen einerMenge A eine Menge ist:
∀A∃B ∀x(x·∈ B ↔ ∀y(y
·∈ x → y
·∈ A)
).
Syntax Komplexe Formeln 32 / 74
![Page 81: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/81.jpg)
ZF: Das Paarmengenaxiom . . .
3. Das Paarmengenaxiom fordert, dass für alle Mengen A,B auch {A,B} eineMenge ist:
∀A ∀B ∃C ∀x(x·∈ C ↔
(x ·= A ∨ x ·= B
)).
4. Das Vereinigungsaxiom besagt, dass mit jeder Menge A von Mengen auchdie Vereinigung
⋃a∈A a aller Elemente von A eine Menge ist:
∀A ∃B ∀x(x·∈ B ↔ ∃y
(y·∈ A ∧ x
·∈ y)).
Paarmengenaxiom und Vereinigungsaxiom zusammen garantieren, dass auchdie Vereinigung A1 ∪ A2 von zwei Mengen A1,A2 eine Menge ist. Dazu bildenwir zuerst die Paarmenge {A1,A2} und beachten A1 ∪ A2 =
⋃a∈{A1,A2} a.
5. Das Potenzmengenaxiom fordert, dass die Menge aller Teilmengen einerMenge A eine Menge ist:
∀A∃B ∀x(x·∈ B ↔ ∀y(y
·∈ x → y
·∈ A)
).
Syntax Komplexe Formeln 32 / 74
![Page 82: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/82.jpg)
ZF: Das Paarmengenaxiom . . .
3. Das Paarmengenaxiom fordert, dass für alle Mengen A,B auch {A,B} eineMenge ist:
∀A ∀B ∃C ∀x(x·∈ C ↔
(x ·= A ∨ x ·= B
)).
4. Das Vereinigungsaxiom besagt, dass mit jeder Menge A von Mengen auchdie Vereinigung
⋃a∈A a aller Elemente von A eine Menge ist:
∀A ∃B ∀x
(x·∈ B ↔ ∃y
(y·∈ A ∧ x
·∈ y)).
Paarmengenaxiom und Vereinigungsaxiom zusammen garantieren, dass auchdie Vereinigung A1 ∪ A2 von zwei Mengen A1,A2 eine Menge ist. Dazu bildenwir zuerst die Paarmenge {A1,A2} und beachten A1 ∪ A2 =
⋃a∈{A1,A2} a.
5. Das Potenzmengenaxiom fordert, dass die Menge aller Teilmengen einerMenge A eine Menge ist:
∀A∃B ∀x(x·∈ B ↔ ∀y(y
·∈ x → y
·∈ A)
).
Syntax Komplexe Formeln 32 / 74
![Page 83: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/83.jpg)
ZF: Das Paarmengenaxiom . . .
3. Das Paarmengenaxiom fordert, dass für alle Mengen A,B auch {A,B} eineMenge ist:
∀A ∀B ∃C ∀x(x·∈ C ↔
(x ·= A ∨ x ·= B
)).
4. Das Vereinigungsaxiom besagt, dass mit jeder Menge A von Mengen auchdie Vereinigung
⋃a∈A a aller Elemente von A eine Menge ist:
∀A ∃B ∀x(x·∈ B ↔ ∃y
(y·∈ A ∧ x
·∈ y)).
Paarmengenaxiom und Vereinigungsaxiom zusammen garantieren, dass auchdie Vereinigung A1 ∪ A2 von zwei Mengen A1,A2 eine Menge ist. Dazu bildenwir zuerst die Paarmenge {A1,A2} und beachten A1 ∪ A2 =
⋃a∈{A1,A2} a.
5. Das Potenzmengenaxiom fordert, dass die Menge aller Teilmengen einerMenge A eine Menge ist:
∀A∃B ∀x(x·∈ B ↔ ∀y(y
·∈ x → y
·∈ A)
).
Syntax Komplexe Formeln 32 / 74
![Page 84: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/84.jpg)
ZF: Das Paarmengenaxiom . . .
3. Das Paarmengenaxiom fordert, dass für alle Mengen A,B auch {A,B} eineMenge ist:
∀A ∀B ∃C ∀x(x·∈ C ↔
(x ·= A ∨ x ·= B
)).
4. Das Vereinigungsaxiom besagt, dass mit jeder Menge A von Mengen auchdie Vereinigung
⋃a∈A a aller Elemente von A eine Menge ist:
∀A ∃B ∀x(x·∈ B ↔ ∃y
(y·∈ A ∧ x
·∈ y)).
Paarmengenaxiom und Vereinigungsaxiom zusammen garantieren, dass auchdie Vereinigung A1 ∪ A2 von zwei Mengen A1,A2 eine Menge ist. Dazu bildenwir zuerst die Paarmenge {A1,A2} und beachten A1 ∪ A2 =
⋃a∈{A1,A2} a.
5. Das Potenzmengenaxiom fordert, dass die Menge aller Teilmengen einerMenge A eine Menge ist:
∀A∃B ∀x
(x·∈ B ↔ ∀y(y
·∈ x → y
·∈ A)
).
Syntax Komplexe Formeln 32 / 74
![Page 85: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/85.jpg)
ZF: Das Paarmengenaxiom . . .
3. Das Paarmengenaxiom fordert, dass für alle Mengen A,B auch {A,B} eineMenge ist:
∀A ∀B ∃C ∀x(x·∈ C ↔
(x ·= A ∨ x ·= B
)).
4. Das Vereinigungsaxiom besagt, dass mit jeder Menge A von Mengen auchdie Vereinigung
⋃a∈A a aller Elemente von A eine Menge ist:
∀A ∃B ∀x(x·∈ B ↔ ∃y
(y·∈ A ∧ x
·∈ y)).
Paarmengenaxiom und Vereinigungsaxiom zusammen garantieren, dass auchdie Vereinigung A1 ∪ A2 von zwei Mengen A1,A2 eine Menge ist. Dazu bildenwir zuerst die Paarmenge {A1,A2} und beachten A1 ∪ A2 =
⋃a∈{A1,A2} a.
5. Das Potenzmengenaxiom fordert, dass die Menge aller Teilmengen einerMenge A eine Menge ist:
∀A∃B ∀x(x·∈ B ↔ ∀y(y
·∈ x → y
·∈ A)
).
Syntax Komplexe Formeln 32 / 74
![Page 86: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/86.jpg)
ZF: Das Aussonderungs- und Unendlichkeitsaxiom
6. Das Aussonderungsaxiom: Für jede Menge A und jede Formel α derMengenlehre ist B = {C ∈ A : α(C)} eine Menge. D.h.
∀A ∃B ∀C
(C·∈ B ↔ C
·∈ A ∧ α(C)).
7. Das Unendlichkeitsaxiom: Es gibt eine Menge A, die die leere Menge undmit jedem Element x auch die Menge x ∪ {x} enthält.
∃A(∅·∈ A ∧ ∀X ( X
·∈ A→ X ∪ {X}
·∈ A)
)Der Schnitt all dieser Mengen A ist die kleinste solche unendliche Menge,nämlich die Menge der natürlichen Zahlen:
N := {∅, {∅}, {∅, {∅}}, {∅, {∅}, {∅, {∅}}} , . . .}.
Die Bildung der Schnittmenge erfolgt mit Hilfe des Aussonderungsaxioms.
Syntax Komplexe Formeln 33 / 74
![Page 87: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/87.jpg)
ZF: Das Aussonderungs- und Unendlichkeitsaxiom
6. Das Aussonderungsaxiom: Für jede Menge A und jede Formel α derMengenlehre ist B = {C ∈ A : α(C)} eine Menge. D.h.
∀A ∃B ∀C(C·∈ B ↔ C
·∈ A ∧ α(C)).
7. Das Unendlichkeitsaxiom: Es gibt eine Menge A, die die leere Menge undmit jedem Element x auch die Menge x ∪ {x} enthält.
∃A(∅·∈ A ∧ ∀X ( X
·∈ A→ X ∪ {X}
·∈ A)
)Der Schnitt all dieser Mengen A ist die kleinste solche unendliche Menge,nämlich die Menge der natürlichen Zahlen:
N := {∅, {∅}, {∅, {∅}}, {∅, {∅}, {∅, {∅}}} , . . .}.
Die Bildung der Schnittmenge erfolgt mit Hilfe des Aussonderungsaxioms.
Syntax Komplexe Formeln 33 / 74
![Page 88: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/88.jpg)
ZF: Das Aussonderungs- und Unendlichkeitsaxiom
6. Das Aussonderungsaxiom: Für jede Menge A und jede Formel α derMengenlehre ist B = {C ∈ A : α(C)} eine Menge. D.h.
∀A ∃B ∀C(C·∈ B ↔ C
·∈ A ∧ α(C)).
7. Das Unendlichkeitsaxiom: Es gibt eine Menge A, die die leere Menge undmit jedem Element x auch die Menge x ∪ {x} enthält.
∃A
(∅·∈ A ∧ ∀X ( X
·∈ A→ X ∪ {X}
·∈ A)
)Der Schnitt all dieser Mengen A ist die kleinste solche unendliche Menge,nämlich die Menge der natürlichen Zahlen:
N := {∅, {∅}, {∅, {∅}}, {∅, {∅}, {∅, {∅}}} , . . .}.
Die Bildung der Schnittmenge erfolgt mit Hilfe des Aussonderungsaxioms.
Syntax Komplexe Formeln 33 / 74
![Page 89: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/89.jpg)
ZF: Das Aussonderungs- und Unendlichkeitsaxiom
6. Das Aussonderungsaxiom: Für jede Menge A und jede Formel α derMengenlehre ist B = {C ∈ A : α(C)} eine Menge. D.h.
∀A ∃B ∀C(C·∈ B ↔ C
·∈ A ∧ α(C)).
7. Das Unendlichkeitsaxiom: Es gibt eine Menge A, die die leere Menge undmit jedem Element x auch die Menge x ∪ {x} enthält.
∃A(∅·∈ A ∧ ∀X ( X
·∈ A→ X ∪ {X}
·∈ A)
)Der Schnitt all dieser Mengen A ist die kleinste solche unendliche Menge,nämlich die Menge der natürlichen Zahlen:
N := {∅,
{∅}, {∅, {∅}}, {∅, {∅}, {∅, {∅}}} , . . .}.
Die Bildung der Schnittmenge erfolgt mit Hilfe des Aussonderungsaxioms.
Syntax Komplexe Formeln 33 / 74
![Page 90: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/90.jpg)
ZF: Das Aussonderungs- und Unendlichkeitsaxiom
6. Das Aussonderungsaxiom: Für jede Menge A und jede Formel α derMengenlehre ist B = {C ∈ A : α(C)} eine Menge. D.h.
∀A ∃B ∀C(C·∈ B ↔ C
·∈ A ∧ α(C)).
7. Das Unendlichkeitsaxiom: Es gibt eine Menge A, die die leere Menge undmit jedem Element x auch die Menge x ∪ {x} enthält.
∃A(∅·∈ A ∧ ∀X ( X
·∈ A→ X ∪ {X}
·∈ A)
)Der Schnitt all dieser Mengen A ist die kleinste solche unendliche Menge,nämlich die Menge der natürlichen Zahlen:
N := {∅, {∅},
{∅, {∅}}, {∅, {∅}, {∅, {∅}}} , . . .}.
Die Bildung der Schnittmenge erfolgt mit Hilfe des Aussonderungsaxioms.
Syntax Komplexe Formeln 33 / 74
![Page 91: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/91.jpg)
ZF: Das Aussonderungs- und Unendlichkeitsaxiom
6. Das Aussonderungsaxiom: Für jede Menge A und jede Formel α derMengenlehre ist B = {C ∈ A : α(C)} eine Menge. D.h.
∀A ∃B ∀C(C·∈ B ↔ C
·∈ A ∧ α(C)).
7. Das Unendlichkeitsaxiom: Es gibt eine Menge A, die die leere Menge undmit jedem Element x auch die Menge x ∪ {x} enthält.
∃A(∅·∈ A ∧ ∀X ( X
·∈ A→ X ∪ {X}
·∈ A)
)Der Schnitt all dieser Mengen A ist die kleinste solche unendliche Menge,nämlich die Menge der natürlichen Zahlen:
N := {∅, {∅}, {∅, {∅}},
{∅, {∅}, {∅, {∅}}} , . . .}.
Die Bildung der Schnittmenge erfolgt mit Hilfe des Aussonderungsaxioms.
Syntax Komplexe Formeln 33 / 74
![Page 92: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/92.jpg)
ZF: Das Aussonderungs- und Unendlichkeitsaxiom
6. Das Aussonderungsaxiom: Für jede Menge A und jede Formel α derMengenlehre ist B = {C ∈ A : α(C)} eine Menge. D.h.
∀A ∃B ∀C(C·∈ B ↔ C
·∈ A ∧ α(C)).
7. Das Unendlichkeitsaxiom: Es gibt eine Menge A, die die leere Menge undmit jedem Element x auch die Menge x ∪ {x} enthält.
∃A(∅·∈ A ∧ ∀X ( X
·∈ A→ X ∪ {X}
·∈ A)
)Der Schnitt all dieser Mengen A ist die kleinste solche unendliche Menge,nämlich die Menge der natürlichen Zahlen:
N := {∅, {∅}, {∅, {∅}}, {∅, {∅}, {∅, {∅}}} , . . .}.
Die Bildung der Schnittmenge erfolgt mit Hilfe des Aussonderungsaxioms.
Syntax Komplexe Formeln 33 / 74
![Page 93: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/93.jpg)
ZF: Das Fundierungs- und Ersetztungsaxiom
8. Fundierungsaxiom: Jede nichtleere Menge A enthält ein Element B mitA ∩ B = ∅
∀A
(¬(A=∅)→ ∃B (B
·∈ A ∧ ¬∃C(C
·∈ A ∧ C
·∈ B))
).
=⇒ Eine Folge x1 3 x2 3 x3 3 . . . ist nicht möglich, denn A = {x1, x2, x3, . . .}widerspricht dem Axiom: Für jedes Element xi ∈ A ist xi+1 ∈ xi ∩ A=⇒ Eine Menge kann sich nicht selbst als Element enthalten.
9. Das Ersetzungsaxiom: Wird jedes Element einer Menge 1-deutig durch eineMenge ersetzt, so erhält man eine Menge. D.h. für jede Formel α(X ,Y ) gilt:
∀X ,Y ,Z(α(X ,Y ) ∧ α(X ,Z )→ Y =Z
)→
∀A ∃B ∀C(C·∈ B ↔ ∃D (D
·∈ A ∧ α(D,C))
).
Beachte B = {Y : D ∈ A ∧ α(D,Y ) }.
Syntax Komplexe Formeln 34 / 74
![Page 94: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/94.jpg)
ZF: Das Fundierungs- und Ersetztungsaxiom
8. Fundierungsaxiom: Jede nichtleere Menge A enthält ein Element B mitA ∩ B = ∅
∀A(¬(A=∅)→ ∃B (B
·∈ A ∧ ¬∃C(C
·∈ A ∧ C
·∈ B))
).
=⇒ Eine Folge x1 3 x2 3 x3 3 . . . ist nicht möglich, denn A = {x1, x2, x3, . . .}widerspricht dem Axiom: Für jedes Element xi ∈ A ist xi+1 ∈ xi ∩ A=⇒ Eine Menge kann sich nicht selbst als Element enthalten.
9. Das Ersetzungsaxiom: Wird jedes Element einer Menge 1-deutig durch eineMenge ersetzt, so erhält man eine Menge. D.h. für jede Formel α(X ,Y ) gilt:
∀X ,Y ,Z(α(X ,Y ) ∧ α(X ,Z )→ Y =Z
)→
∀A ∃B ∀C(C·∈ B ↔ ∃D (D
·∈ A ∧ α(D,C))
).
Beachte B = {Y : D ∈ A ∧ α(D,Y ) }.
Syntax Komplexe Formeln 34 / 74
![Page 95: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/95.jpg)
ZF: Das Fundierungs- und Ersetztungsaxiom
8. Fundierungsaxiom: Jede nichtleere Menge A enthält ein Element B mitA ∩ B = ∅
∀A(¬(A=∅)→ ∃B (B
·∈ A ∧ ¬∃C(C
·∈ A ∧ C
·∈ B))
).
=⇒ Eine Folge x1 3 x2 3 x3 3 . . . ist nicht möglich, denn A = {x1, x2, x3, . . .}widerspricht dem Axiom: Für jedes Element xi ∈ A ist xi+1 ∈ xi ∩ A=⇒ Eine Menge kann sich nicht selbst als Element enthalten.
9. Das Ersetzungsaxiom: Wird jedes Element einer Menge 1-deutig durch eineMenge ersetzt, so erhält man eine Menge. D.h. für jede Formel α(X ,Y ) gilt:
∀X ,Y ,Z(α(X ,Y ) ∧ α(X ,Z )→ Y =Z
)→
∀A ∃B ∀C
(C·∈ B ↔ ∃D (D
·∈ A ∧ α(D,C))
).
Beachte B = {Y : D ∈ A ∧ α(D,Y ) }.
Syntax Komplexe Formeln 34 / 74
![Page 96: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/96.jpg)
ZF: Das Fundierungs- und Ersetztungsaxiom
8. Fundierungsaxiom: Jede nichtleere Menge A enthält ein Element B mitA ∩ B = ∅
∀A(¬(A=∅)→ ∃B (B
·∈ A ∧ ¬∃C(C
·∈ A ∧ C
·∈ B))
).
=⇒ Eine Folge x1 3 x2 3 x3 3 . . . ist nicht möglich, denn A = {x1, x2, x3, . . .}widerspricht dem Axiom: Für jedes Element xi ∈ A ist xi+1 ∈ xi ∩ A=⇒ Eine Menge kann sich nicht selbst als Element enthalten.
9. Das Ersetzungsaxiom: Wird jedes Element einer Menge 1-deutig durch eineMenge ersetzt, so erhält man eine Menge. D.h. für jede Formel α(X ,Y ) gilt:
∀X ,Y ,Z(α(X ,Y ) ∧ α(X ,Z )→ Y =Z
)→
∀A ∃B ∀C(C·∈ B ↔ ∃D (D
·∈ A ∧ α(D,C))
).
Beachte B = {Y : D ∈ A ∧ α(D,Y ) }.
Syntax Komplexe Formeln 34 / 74
![Page 97: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/97.jpg)
Semantik
Semantik der Prädikatenlogik 35 / 74
![Page 98: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/98.jpg)
Eine Semantik für Terme
Sei σ eine Signatur und sei A = (A, α) eine σ-Struktur.
Wie sollen wir eine Variable x interpretieren?In der Aussagenlogik haben wir eine Variablemit dem Wahrheitswert 0 oder 1 belegt.Jetzt sollten wir
die Variable x mit einem beliebigem Element des UniversumsA belegen!
Semantik der Prädikatenlogik Eine Semantik für Terme 36 / 74
![Page 99: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/99.jpg)
Eine Semantik für Terme
Sei σ eine Signatur und sei A = (A, α) eine σ-Struktur.
Wie sollen wir eine Variable x interpretieren?In der Aussagenlogik haben wir eine Variablemit dem Wahrheitswert 0 oder 1 belegt.Jetzt sollten wir die Variable x mit einem beliebigem Element des UniversumsA belegen!
Semantik der Prädikatenlogik Eine Semantik für Terme 36 / 74
![Page 100: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/100.jpg)
Belegungen und Interpretationen
(a) Eine Belegung in einer σ-Struktur A = (A, α) ist eine partielle Funktion βvon Var nach A, d.h. β ordnet jeder Variablen x , auf der es definiert ist, einElement β(x) aus dem Universum A von A zu.
I β ist eine Belegung für einen σ-Term t (bzw. passend zu t), wenn α für alle int vorkommenden Variablen definiert ist.
(b) Eine σ-Interpretation ist ein Paar
I = (A, β),
bestehend aus einer σ-Struktur A und einer Belegung β in A.I I = (A, β) ist eine Interpretation für einen σ-Term t (bzw. ist passend zu t),
wenn β passend zu t ist.
Semantik der Prädikatenlogik Eine Semantik für Terme 37 / 74
![Page 101: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/101.jpg)
Belegungen und Interpretationen
(a) Eine Belegung in einer σ-Struktur A = (A, α) ist eine partielle Funktion βvon Var nach A, d.h. β ordnet jeder Variablen x , auf der es definiert ist, einElement β(x) aus dem Universum A von A zu.
I β ist eine Belegung für einen σ-Term t (bzw. passend zu t), wenn α für alle int vorkommenden Variablen definiert ist.
(b) Eine σ-Interpretation ist ein Paar
I = (A, β),
bestehend aus einer σ-Struktur A und einer Belegung β in A.I I = (A, β) ist eine Interpretation für einen σ-Term t (bzw. ist passend zu t),
wenn β passend zu t ist.
Semantik der Prädikatenlogik Eine Semantik für Terme 37 / 74
![Page 102: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/102.jpg)
Die Semantik von Termen (1/2)
Sei σ eine Signatur und t ein σ-Term.
Wir möchten dem Term t eine Bedeutung in der Struktur A zuweisen undbenutzen dazu eine zu t passende Interpretation I = (A, β).
1. Interpretiere die in t vorkommenden Variablen x durch die Belegung β,ersetze also die Variable durch den Wert β(x).
2. Belege die in t vorkommenden Konstantensymbolegemäß ihrer Interpretation in A und
3. evaluiere t dann nach und nachgemäß den in A gegebenen Interpretationen der Funktionssymbole.
Und was ist damit genau gemeint?
Semantik der Prädikatenlogik Eine Semantik für Terme 38 / 74
![Page 103: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/103.jpg)
Die Semantik von Termen (1/2)
Sei σ eine Signatur und t ein σ-Term.
Wir möchten dem Term t eine Bedeutung in der Struktur A zuweisen undbenutzen dazu eine zu t passende Interpretation I = (A, β).1. Interpretiere die in t vorkommenden Variablen x durch die Belegung β,
ersetze also die Variable durch den Wert β(x).2. Belege die in t vorkommenden Konstantensymbole
gemäß ihrer Interpretation in A und3. evaluiere t dann nach und nach
gemäß den in A gegebenen Interpretationen der Funktionssymbole.
Und was ist damit genau gemeint?
Semantik der Prädikatenlogik Eine Semantik für Terme 38 / 74
![Page 104: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/104.jpg)
Die Semantik von Termen (2/2)Sei σ eine Signatur.
Wir definieren eine Funktion J·K· rekursiv über den Aufbau von Tσ, die jedemσ-Term t ∈ Tσ und jeder zu t passenden σ-Interpretation I = (A, β) einen Wert
JtKI ∈ A
zuordnet.
Die Basisregeln:Für alle x ∈ Var ist JxKI :=
β(x).Für alle Konstantensymbole c ∈ σ ist JcKI := cA.
Die rekursiven Regeln:Für alle Funktionssymbole f ∈ σ, für r := ar(f ) und für alle σ-Termet1, . . . , tr ∈ Tσ gilt:
Jf (t1, . . . , tr )KI := f A(Jt1KI , . . . , Jtr KI).
Semantik der Prädikatenlogik Eine Semantik für Terme 39 / 74
![Page 105: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/105.jpg)
Die Semantik von Termen (2/2)Sei σ eine Signatur.
Wir definieren eine Funktion J·K· rekursiv über den Aufbau von Tσ, die jedemσ-Term t ∈ Tσ und jeder zu t passenden σ-Interpretation I = (A, β) einen Wert
JtKI ∈ A
zuordnet.
Die Basisregeln:Für alle x ∈ Var ist JxKI := β(x).Für alle Konstantensymbole c ∈ σ ist JcKI :=
cA.Die rekursiven Regeln:
Für alle Funktionssymbole f ∈ σ, für r := ar(f ) und für alle σ-Termet1, . . . , tr ∈ Tσ gilt:
Jf (t1, . . . , tr )KI := f A(Jt1KI , . . . , Jtr KI).
Semantik der Prädikatenlogik Eine Semantik für Terme 39 / 74
![Page 106: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/106.jpg)
Die Semantik von Termen (2/2)Sei σ eine Signatur.
Wir definieren eine Funktion J·K· rekursiv über den Aufbau von Tσ, die jedemσ-Term t ∈ Tσ und jeder zu t passenden σ-Interpretation I = (A, β) einen Wert
JtKI ∈ A
zuordnet.
Die Basisregeln:Für alle x ∈ Var ist JxKI := β(x).Für alle Konstantensymbole c ∈ σ ist JcKI := cA.
Die rekursiven Regeln:Für alle Funktionssymbole f ∈ σ, für r := ar(f ) und für alle σ-Termet1, . . . , tr ∈ Tσ gilt:
Jf (t1, . . . , tr )KI :=
f A(Jt1KI , . . . , Jtr KI).
Semantik der Prädikatenlogik Eine Semantik für Terme 39 / 74
![Page 107: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/107.jpg)
Die Semantik von Termen (2/2)Sei σ eine Signatur.
Wir definieren eine Funktion J·K· rekursiv über den Aufbau von Tσ, die jedemσ-Term t ∈ Tσ und jeder zu t passenden σ-Interpretation I = (A, β) einen Wert
JtKI ∈ A
zuordnet.
Die Basisregeln:Für alle x ∈ Var ist JxKI := β(x).Für alle Konstantensymbole c ∈ σ ist JcKI := cA.
Die rekursiven Regeln:Für alle Funktionssymbole f ∈ σ, für r := ar(f ) und für alle σ-Termet1, . . . , tr ∈ Tσ gilt:
Jf (t1, . . . , tr )KI := f A
(Jt1KI , . . . , Jtr KI).
Semantik der Prädikatenlogik Eine Semantik für Terme 39 / 74
![Page 108: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/108.jpg)
Die Semantik von Termen (2/2)Sei σ eine Signatur.
Wir definieren eine Funktion J·K· rekursiv über den Aufbau von Tσ, die jedemσ-Term t ∈ Tσ und jeder zu t passenden σ-Interpretation I = (A, β) einen Wert
JtKI ∈ A
zuordnet.
Die Basisregeln:Für alle x ∈ Var ist JxKI := β(x).Für alle Konstantensymbole c ∈ σ ist JcKI := cA.
Die rekursiven Regeln:Für alle Funktionssymbole f ∈ σ, für r := ar(f ) und für alle σ-Termet1, . . . , tr ∈ Tσ gilt:
Jf (t1, . . . , tr )KI := f A(Jt1KI , . . . , Jtr KI).
Semantik der Prädikatenlogik Eine Semantik für Terme 39 / 74
![Page 109: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/109.jpg)
Die Semantik von Termen: Ein Beispiel
Sei σ = {f , c} eine Signatur und sei A = (A, f A, cA) eine Struktur mitA := Nf A := +N (die Addition auf N)cA := 0N (die natürliche Zahl 0)
Sei β eine Belegung mit β(v1) = 1 und β(v2) = 7. Für den Term
t := f(v2, f (v1, c)
)und I := (A, β) gilt:
JtKI = Jf(v2, f (v1, c)
)KI
= f A(β(v2), f A
(β(v1), cA
))= f A
(7, f A
(1, 0))
=(7 +
(1 + 0
))= 8.
Semantik der Prädikatenlogik Eine Semantik für Terme 40 / 74
![Page 110: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/110.jpg)
Die Semantik von Termen: Ein Beispiel
Sei σ = {f , c} eine Signatur und sei A = (A, f A, cA) eine Struktur mitA := Nf A := +N (die Addition auf N)cA := 0N (die natürliche Zahl 0)
Sei β eine Belegung mit β(v1) = 1 und β(v2) = 7. Für den Term
t := f(v2, f (v1, c)
)und I := (A, β) gilt:
JtKI =
Jf(v2, f (v1, c)
)KI
= f A(β(v2), f A
(β(v1), cA
))= f A
(7, f A
(1, 0))
=(7 +
(1 + 0
))= 8.
Semantik der Prädikatenlogik Eine Semantik für Terme 40 / 74
![Page 111: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/111.jpg)
Die Semantik von Termen: Ein Beispiel
Sei σ = {f , c} eine Signatur und sei A = (A, f A, cA) eine Struktur mitA := Nf A := +N (die Addition auf N)cA := 0N (die natürliche Zahl 0)
Sei β eine Belegung mit β(v1) = 1 und β(v2) = 7. Für den Term
t := f(v2, f (v1, c)
)und I := (A, β) gilt:
JtKI = Jf(v2, f (v1, c)
)KI
= f A(β(v2), f A
(β(v1), cA
))= f A
(7, f A
(1, 0))
=(7 +
(1 + 0
))= 8.
Semantik der Prädikatenlogik Eine Semantik für Terme 40 / 74
![Page 112: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/112.jpg)
Die Semantik von Termen: Ein Beispiel
Sei σ = {f , c} eine Signatur und sei A = (A, f A, cA) eine Struktur mitA := Nf A := +N (die Addition auf N)cA := 0N (die natürliche Zahl 0)
Sei β eine Belegung mit β(v1) = 1 und β(v2) = 7. Für den Term
t := f(v2, f (v1, c)
)und I := (A, β) gilt:
JtKI = Jf(v2, f (v1, c)
)KI
= f A(β(v2), f A
(β(v1), cA
))
= f A(7, f A
(1, 0))
=(7 +
(1 + 0
))= 8.
Semantik der Prädikatenlogik Eine Semantik für Terme 40 / 74
![Page 113: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/113.jpg)
Die Semantik von Termen: Ein Beispiel
Sei σ = {f , c} eine Signatur und sei A = (A, f A, cA) eine Struktur mitA := Nf A := +N (die Addition auf N)cA := 0N (die natürliche Zahl 0)
Sei β eine Belegung mit β(v1) = 1 und β(v2) = 7. Für den Term
t := f(v2, f (v1, c)
)und I := (A, β) gilt:
JtKI = Jf(v2, f (v1, c)
)KI
= f A(β(v2), f A
(β(v1), cA
))= f A
(7, f A
(1, 0))
=(7 +
(1 + 0
))= 8.
Semantik der Prädikatenlogik Eine Semantik für Terme 40 / 74
![Page 114: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/114.jpg)
Die Semantik von Termen: Ein Beispiel
Sei σ = {f , c} eine Signatur und sei A = (A, f A, cA) eine Struktur mitA := Nf A := +N (die Addition auf N)cA := 0N (die natürliche Zahl 0)
Sei β eine Belegung mit β(v1) = 1 und β(v2) = 7. Für den Term
t := f(v2, f (v1, c)
)und I := (A, β) gilt:
JtKI = Jf(v2, f (v1, c)
)KI
= f A(β(v2), f A
(β(v1), cA
))= f A
(7, f A
(1, 0))
=(7 +
(1 + 0
))= 8.
Semantik der Prädikatenlogik Eine Semantik für Terme 40 / 74
![Page 115: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/115.jpg)
Notation: Freie und gebundene Variablen
(a) Eine Formel ψ ist Teilformel einer Formel φ, wenn ψ ein Teil-Wort in φ ist.Beispiel: ψ := f (v0, v1)=c ist Teilformel der Formel ∃v0 f (v0, v1)=c.
(b) Jedes Vorkommen einer Variablen x in einer Teilformel von φ der Form ∃x ψ oder∀x ψ heißt ein gebundenes Vorkommen von x . Jedes andere Vorkommen von xheißt freies Vorkommen von x . Beispiel:
freies Vorkommenvon v3 in φ
freies Vorkommenvon v0 in φ
gebundene Vorkommenvon v0 in φ
freies Vorkommenvon v1 in φ
φ :=(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)
(c) Die Menge frei(φ) aller freien Variablen einer FO[σ]-Formel φ besteht aus allenVariablen, die mindestens einmal frei in φ vorkommen. Beispiele:
I frei(f (v0, c)=v3
)= {v0, v3}
I frei(∃v0 f (v0, v1)=c
)= {v1}
I frei(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)= {v0, v3, v1}
(d) Eine FO[σ]-Formel φ heißt Satz (genauer: FO[σ]-Satz), falls sie keine freienVariablen besitzt, d.h. falls frei(φ) = ∅.
Semantik der Prädikatenlogik Die Definition 41 / 74
![Page 116: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/116.jpg)
Notation: Freie und gebundene Variablen
(a) Eine Formel ψ ist Teilformel einer Formel φ, wenn ψ ein Teil-Wort in φ ist.Beispiel: ψ := f (v0, v1)=c ist Teilformel der Formel ∃v0 f (v0, v1)=c.
(b) Jedes Vorkommen einer Variablen x in einer Teilformel von φ der Form ∃x ψ oder∀x ψ heißt ein gebundenes Vorkommen von x . Jedes andere Vorkommen von xheißt freies Vorkommen von x . Beispiel:
freies Vorkommenvon v3 in φ
freies Vorkommenvon v0 in φ
gebundene Vorkommenvon v0 in φ
freies Vorkommenvon v1 in φ
φ :=(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)
(c) Die Menge frei(φ) aller freien Variablen einer FO[σ]-Formel φ besteht aus allenVariablen, die mindestens einmal frei in φ vorkommen. Beispiele:
I frei(f (v0, c)=v3
)=
{v0, v3}I frei
(∃v0 f (v0, v1)=c
)= {v1}
I frei(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)= {v0, v3, v1}
(d) Eine FO[σ]-Formel φ heißt Satz (genauer: FO[σ]-Satz), falls sie keine freienVariablen besitzt, d.h. falls frei(φ) = ∅.
Semantik der Prädikatenlogik Die Definition 41 / 74
![Page 117: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/117.jpg)
Notation: Freie und gebundene Variablen
(a) Eine Formel ψ ist Teilformel einer Formel φ, wenn ψ ein Teil-Wort in φ ist.Beispiel: ψ := f (v0, v1)=c ist Teilformel der Formel ∃v0 f (v0, v1)=c.
(b) Jedes Vorkommen einer Variablen x in einer Teilformel von φ der Form ∃x ψ oder∀x ψ heißt ein gebundenes Vorkommen von x . Jedes andere Vorkommen von xheißt freies Vorkommen von x . Beispiel:
freies Vorkommenvon v3 in φ
freies Vorkommenvon v0 in φ
gebundene Vorkommenvon v0 in φ
freies Vorkommenvon v1 in φ
φ :=(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)
(c) Die Menge frei(φ) aller freien Variablen einer FO[σ]-Formel φ besteht aus allenVariablen, die mindestens einmal frei in φ vorkommen. Beispiele:
I frei(f (v0, c)=v3
)= {v0, v3}
I frei(∃v0 f (v0, v1)=c
)=
{v1}I frei
(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)= {v0, v3, v1}
(d) Eine FO[σ]-Formel φ heißt Satz (genauer: FO[σ]-Satz), falls sie keine freienVariablen besitzt, d.h. falls frei(φ) = ∅.
Semantik der Prädikatenlogik Die Definition 41 / 74
![Page 118: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/118.jpg)
Notation: Freie und gebundene Variablen
(a) Eine Formel ψ ist Teilformel einer Formel φ, wenn ψ ein Teil-Wort in φ ist.Beispiel: ψ := f (v0, v1)=c ist Teilformel der Formel ∃v0 f (v0, v1)=c.
(b) Jedes Vorkommen einer Variablen x in einer Teilformel von φ der Form ∃x ψ oder∀x ψ heißt ein gebundenes Vorkommen von x . Jedes andere Vorkommen von xheißt freies Vorkommen von x . Beispiel:
freies Vorkommenvon v3 in φ
freies Vorkommenvon v0 in φ
gebundene Vorkommenvon v0 in φ
freies Vorkommenvon v1 in φ
φ :=(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)
(c) Die Menge frei(φ) aller freien Variablen einer FO[σ]-Formel φ besteht aus allenVariablen, die mindestens einmal frei in φ vorkommen. Beispiele:
I frei(f (v0, c)=v3
)= {v0, v3}
I frei(∃v0 f (v0, v1)=c
)= {v1}
I frei(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)=
{v0, v3, v1}
(d) Eine FO[σ]-Formel φ heißt Satz (genauer: FO[σ]-Satz), falls sie keine freienVariablen besitzt, d.h. falls frei(φ) = ∅.
Semantik der Prädikatenlogik Die Definition 41 / 74
![Page 119: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/119.jpg)
Notation: Freie und gebundene Variablen
(a) Eine Formel ψ ist Teilformel einer Formel φ, wenn ψ ein Teil-Wort in φ ist.Beispiel: ψ := f (v0, v1)=c ist Teilformel der Formel ∃v0 f (v0, v1)=c.
(b) Jedes Vorkommen einer Variablen x in einer Teilformel von φ der Form ∃x ψ oder∀x ψ heißt ein gebundenes Vorkommen von x . Jedes andere Vorkommen von xheißt freies Vorkommen von x . Beispiel:
freies Vorkommenvon v3 in φ
freies Vorkommenvon v0 in φ
gebundene Vorkommenvon v0 in φ
freies Vorkommenvon v1 in φ
φ :=(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)
(c) Die Menge frei(φ) aller freien Variablen einer FO[σ]-Formel φ besteht aus allenVariablen, die mindestens einmal frei in φ vorkommen. Beispiele:
I frei(f (v0, c)=v3
)= {v0, v3}
I frei(∃v0 f (v0, v1)=c
)= {v1}
I frei(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)= {v0, v3, v1}
(d) Eine FO[σ]-Formel φ heißt Satz (genauer: FO[σ]-Satz), falls sie keine freienVariablen besitzt, d.h. falls frei(φ) = ∅.
Semantik der Prädikatenlogik Die Definition 41 / 74
![Page 120: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/120.jpg)
Notation: Freie und gebundene Variablen
(a) Eine Formel ψ ist Teilformel einer Formel φ, wenn ψ ein Teil-Wort in φ ist.Beispiel: ψ := f (v0, v1)=c ist Teilformel der Formel ∃v0 f (v0, v1)=c.
(b) Jedes Vorkommen einer Variablen x in einer Teilformel von φ der Form ∃x ψ oder∀x ψ heißt ein gebundenes Vorkommen von x . Jedes andere Vorkommen von xheißt freies Vorkommen von x . Beispiel:
freies Vorkommenvon v3 in φ
freies Vorkommenvon v0 in φ
gebundene Vorkommenvon v0 in φ
freies Vorkommenvon v1 in φ
φ :=(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)
(c) Die Menge frei(φ) aller freien Variablen einer FO[σ]-Formel φ besteht aus allenVariablen, die mindestens einmal frei in φ vorkommen. Beispiele:
I frei(f (v0, c)=v3
)= {v0, v3}
I frei(∃v0 f (v0, v1)=c
)= {v1}
I frei(f (v0, c)=v3 ∧ ∃v0 f (v0, v1)=c
)= {v0, v3, v1}
(d) Eine FO[σ]-Formel φ heißt Satz (genauer: FO[σ]-Satz), falls sie keine freienVariablen besitzt, d.h. falls frei(φ) = ∅.Semantik der Prädikatenlogik Die Definition 41 / 74
![Page 121: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/121.jpg)
Passende Belegungen und Interpretationen
(a) Eine Belegung β ist eine Belegung für eine FO[σ]-Formel φ(bzw. passend zu φ), wenn β für jede freie Variable von φ definiert ist.
(b) Eine σ-Interpretation I = (A, β) ist eineInterpretation für eine FO[σ]-Formel φ (bzw. passend zu φ),
wenn β passend zu φ ist.
Semantik der Prädikatenlogik Die Definition 42 / 74
![Page 122: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/122.jpg)
Notation: Zusätzliche Setzung von Variablen
(a) Ist β eine Belegung in einer σ-Struktur A, ist x ∈ Var und ist a ∈ A, so istdie Belegung
β ax
identisch mit β bis mgl. auf die Setzung von x mit a, d.h.
β ax (x) = a und β a
x (y) = β(y) f.a. y (y 6= x), für die β definiert ist.
(b) Ist I = (A, β) eine σ-Interpretation, ist x ∈ Var und ist a ∈ A, so ist
I ax := (A, β a
x )
die σ-Interpretation, die sich nur in der Behandlung der Variablen x von Iunterscheidet: In I a
x wird x mit a belegt.
Semantik der Prädikatenlogik Die Definition 43 / 74
![Page 123: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/123.jpg)
Notation: Zusätzliche Setzung von Variablen
(a) Ist β eine Belegung in einer σ-Struktur A, ist x ∈ Var und ist a ∈ A, so istdie Belegung
β ax
identisch mit β bis mgl. auf die Setzung von x mit a, d.h.
β ax (x) = a und β a
x (y) = β(y) f.a. y (y 6= x), für die β definiert ist.
(b) Ist I = (A, β) eine σ-Interpretation, ist x ∈ Var und ist a ∈ A, so ist
I ax := (A, β a
x )
die σ-Interpretation, die sich nur in der Behandlung der Variablen x von Iunterscheidet: In I a
x wird x mit a belegt.
Semantik der Prädikatenlogik Die Definition 43 / 74
![Page 124: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/124.jpg)
Die Definition der Semantik
Semantik der Prädikatenlogik Die Definition 44 / 74
![Page 125: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/125.jpg)
Eine rekursive Definition der Semantik: RekursionsanfangSei σ eine Signatur.
Wir definieren eine Funktion J·K·, die jeder FO[σ]-Formel φ und jeder zu φpassenden Interpretationen I = (A, β) einen Wahrheitswert
JφKI ∈ {0, 1}
zuordnet.
Rekursionsanfang:Für alle σ-Terme t1 und t2 in Tσ gilt:
Jt1=t2KI :=
{1, falls Jt1KI = Jt2KI ,0, sonst.
Für jedes Relationssymbol R ∈ σ, für r := ar(R) und für alle σ-Termet1, . . . , tr in Tσ gilt:
JR(t1, . . . , tr )KI :={1, falls (Jt1KI , . . . , Jtr KI) ∈ RA,0, sonst.
Semantik der Prädikatenlogik Die Definition 45 / 74
![Page 126: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/126.jpg)
Eine rekursive Definition der Semantik: RekursionsanfangSei σ eine Signatur.
Wir definieren eine Funktion J·K·, die jeder FO[σ]-Formel φ und jeder zu φpassenden Interpretationen I = (A, β) einen Wahrheitswert
JφKI ∈ {0, 1}
zuordnet.
Rekursionsanfang:Für alle σ-Terme t1 und t2 in Tσ gilt:
Jt1=t2KI :={1, falls Jt1KI = Jt2KI ,0, sonst.
Für jedes Relationssymbol R ∈ σ, für r := ar(R) und für alle σ-Termet1, . . . , tr in Tσ gilt:
JR(t1, . . . , tr )KI :=
{1, falls (Jt1KI , . . . , Jtr KI) ∈ RA,0, sonst.
Semantik der Prädikatenlogik Die Definition 45 / 74
![Page 127: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/127.jpg)
Eine rekursive Definition der Semantik: RekursionsanfangSei σ eine Signatur.
Wir definieren eine Funktion J·K·, die jeder FO[σ]-Formel φ und jeder zu φpassenden Interpretationen I = (A, β) einen Wahrheitswert
JφKI ∈ {0, 1}
zuordnet.
Rekursionsanfang:Für alle σ-Terme t1 und t2 in Tσ gilt:
Jt1=t2KI :={1, falls Jt1KI = Jt2KI ,0, sonst.
Für jedes Relationssymbol R ∈ σ, für r := ar(R) und für alle σ-Termet1, . . . , tr in Tσ gilt:
JR(t1, . . . , tr )KI :={1, falls (Jt1KI , . . . , Jtr KI) ∈ RA,0, sonst.
Semantik der Prädikatenlogik Die Definition 45 / 74
![Page 128: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/128.jpg)
Der Rekursionsschritt für die Semantik: Die Junktoren
J¬φKI :=
{1, falls JφKI = 0,0, sonst.
J(φ ∧ ψ)KI :={1, falls JφKI = 1 und JψKI = 1,0, sonst.
J(φ ∨ ψ)KI :={0, falls JφKI = 0 und JψKI = 0,1, sonst.
J(φ→ ψ)KI :={1, falls JφKI = 0 oder JψKI = 1,0, sonst.
J(φ↔ ψ)KI :={1, falls JφKI = JψKI ,0, sonst.
Semantik der Prädikatenlogik Die Definition 46 / 74
![Page 129: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/129.jpg)
Der Rekursionsschritt für die Semantik: Die Junktoren
J¬φKI :={1, falls JφKI = 0,0, sonst.
J(φ ∧ ψ)KI :=
{1, falls JφKI = 1 und JψKI = 1,0, sonst.
J(φ ∨ ψ)KI :={0, falls JφKI = 0 und JψKI = 0,1, sonst.
J(φ→ ψ)KI :={1, falls JφKI = 0 oder JψKI = 1,0, sonst.
J(φ↔ ψ)KI :={1, falls JφKI = JψKI ,0, sonst.
Semantik der Prädikatenlogik Die Definition 46 / 74
![Page 130: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/130.jpg)
Der Rekursionsschritt für die Semantik: Die Junktoren
J¬φKI :={1, falls JφKI = 0,0, sonst.
J(φ ∧ ψ)KI :={1, falls JφKI = 1 und JψKI = 1,0, sonst.
J(φ ∨ ψ)KI :={0, falls JφKI = 0 und JψKI = 0,1, sonst.
J(φ→ ψ)KI :={1, falls JφKI = 0 oder JψKI = 1,0, sonst.
J(φ↔ ψ)KI :={1, falls JφKI = JψKI ,0, sonst.
Semantik der Prädikatenlogik Die Definition 46 / 74
![Page 131: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/131.jpg)
Der Rekursionsschritt für die Semantik: Die Quantoren
Ist φ ∈ FO[σ] und ist x ∈ Var, so ist
J∃x φKI :=
{1, falls es (mindestens) ein a ∈ A gibt, so dass JφKI
ax = 1,
0, sonst.
J∀x φKI :={1, falls für alle a ∈ A gilt: JφKI
ax = 1
0, sonst.
Semantik der Prädikatenlogik Die Definition 47 / 74
![Page 132: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/132.jpg)
Der Rekursionsschritt für die Semantik: Die Quantoren
Ist φ ∈ FO[σ] und ist x ∈ Var, so ist
J∃x φKI :={1, falls es (mindestens) ein a ∈ A gibt, so dass JφKI
ax = 1,
0, sonst.
J∀x φKI :=
{1, falls für alle a ∈ A gilt: JφKI
ax = 1
0, sonst.
Semantik der Prädikatenlogik Die Definition 47 / 74
![Page 133: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/133.jpg)
Der Rekursionsschritt für die Semantik: Die Quantoren
Ist φ ∈ FO[σ] und ist x ∈ Var, so ist
J∃x φKI :={1, falls es (mindestens) ein a ∈ A gibt, so dass JφKI
ax = 1,
0, sonst.
J∀x φKI :={1, falls für alle a ∈ A gilt: JφKI
ax = 1
0, sonst.
Semantik der Prädikatenlogik Die Definition 47 / 74
![Page 134: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/134.jpg)
Definition der Semantik: Ein Beispiel (1/2)
Sei σGraph = {E} die Signatur, die aus einem 2-stelligen Relationssymbol Ebesteht. Betrachte die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
).
Für jede zu φ passende σGraph-Interpretation I = (A, β) gilt:
JφKI = 1 ⇐⇒ für alle a ∈ A gilt: J∀y(E (x , y)→ E (y , x)
)KI
ax = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:J(E (x , y)→ E (y , x)
)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls JE (x , y)KI
ax
by = 1, so auch JE (y , x)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls (a, b) ∈ EA, so auch (b, a) ∈ EA
⇐⇒ die Relation EA ist symmetrisch.
Semantik der Prädikatenlogik Die Definition 48 / 74
![Page 135: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/135.jpg)
Definition der Semantik: Ein Beispiel (1/2)
Sei σGraph = {E} die Signatur, die aus einem 2-stelligen Relationssymbol Ebesteht. Betrachte die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
).
Für jede zu φ passende σGraph-Interpretation I = (A, β) gilt:
JφKI = 1 ⇐⇒
für alle a ∈ A gilt: J∀y(E (x , y)→ E (y , x)
)KI
ax = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:J(E (x , y)→ E (y , x)
)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls JE (x , y)KI
ax
by = 1, so auch JE (y , x)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls (a, b) ∈ EA, so auch (b, a) ∈ EA
⇐⇒ die Relation EA ist symmetrisch.
Semantik der Prädikatenlogik Die Definition 48 / 74
![Page 136: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/136.jpg)
Definition der Semantik: Ein Beispiel (1/2)
Sei σGraph = {E} die Signatur, die aus einem 2-stelligen Relationssymbol Ebesteht. Betrachte die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
).
Für jede zu φ passende σGraph-Interpretation I = (A, β) gilt:
JφKI = 1 ⇐⇒ für alle a ∈ A gilt: J∀y(E (x , y)→ E (y , x)
)KI
ax = 1
⇐⇒
für alle a ∈ A und alle b ∈ A gilt:J(E (x , y)→ E (y , x)
)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls JE (x , y)KI
ax
by = 1, so auch JE (y , x)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls (a, b) ∈ EA, so auch (b, a) ∈ EA
⇐⇒ die Relation EA ist symmetrisch.
Semantik der Prädikatenlogik Die Definition 48 / 74
![Page 137: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/137.jpg)
Definition der Semantik: Ein Beispiel (1/2)
Sei σGraph = {E} die Signatur, die aus einem 2-stelligen Relationssymbol Ebesteht. Betrachte die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
).
Für jede zu φ passende σGraph-Interpretation I = (A, β) gilt:
JφKI = 1 ⇐⇒ für alle a ∈ A gilt: J∀y(E (x , y)→ E (y , x)
)KI
ax = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:J(E (x , y)→ E (y , x)
)KI
ax
by = 1
⇐⇒
für alle a ∈ A und alle b ∈ A gilt:falls JE (x , y)KI
ax
by = 1, so auch JE (y , x)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls (a, b) ∈ EA, so auch (b, a) ∈ EA
⇐⇒ die Relation EA ist symmetrisch.
Semantik der Prädikatenlogik Die Definition 48 / 74
![Page 138: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/138.jpg)
Definition der Semantik: Ein Beispiel (1/2)
Sei σGraph = {E} die Signatur, die aus einem 2-stelligen Relationssymbol Ebesteht. Betrachte die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
).
Für jede zu φ passende σGraph-Interpretation I = (A, β) gilt:
JφKI = 1 ⇐⇒ für alle a ∈ A gilt: J∀y(E (x , y)→ E (y , x)
)KI
ax = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:J(E (x , y)→ E (y , x)
)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls JE (x , y)KI
ax
by = 1, so auch JE (y , x)KI
ax
by = 1
⇐⇒
für alle a ∈ A und alle b ∈ A gilt:falls (a, b) ∈ EA, so auch (b, a) ∈ EA
⇐⇒ die Relation EA ist symmetrisch.
Semantik der Prädikatenlogik Die Definition 48 / 74
![Page 139: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/139.jpg)
Definition der Semantik: Ein Beispiel (1/2)
Sei σGraph = {E} die Signatur, die aus einem 2-stelligen Relationssymbol Ebesteht. Betrachte die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
).
Für jede zu φ passende σGraph-Interpretation I = (A, β) gilt:
JφKI = 1 ⇐⇒ für alle a ∈ A gilt: J∀y(E (x , y)→ E (y , x)
)KI
ax = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:J(E (x , y)→ E (y , x)
)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls JE (x , y)KI
ax
by = 1, so auch JE (y , x)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls (a, b) ∈ EA, so auch (b, a) ∈ EA
⇐⇒
die Relation EA ist symmetrisch.
Semantik der Prädikatenlogik Die Definition 48 / 74
![Page 140: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/140.jpg)
Definition der Semantik: Ein Beispiel (1/2)
Sei σGraph = {E} die Signatur, die aus einem 2-stelligen Relationssymbol Ebesteht. Betrachte die FO[σGraph]-Formel
φ := ∀x∀y(E (x , y)→ E (y , x)
).
Für jede zu φ passende σGraph-Interpretation I = (A, β) gilt:
JφKI = 1 ⇐⇒ für alle a ∈ A gilt: J∀y(E (x , y)→ E (y , x)
)KI
ax = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:J(E (x , y)→ E (y , x)
)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls JE (x , y)KI
ax
by = 1, so auch JE (y , x)KI
ax
by = 1
⇐⇒ für alle a ∈ A und alle b ∈ A gilt:falls (a, b) ∈ EA, so auch (b, a) ∈ EA
⇐⇒ die Relation EA ist symmetrisch.
Semantik der Prädikatenlogik Die Definition 48 / 74
![Page 141: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/141.jpg)
Definition der Semantik: Ein Beispiel (2/2)
Sei A die σGraph-Struktur, die den gerichteten Graphen
1
2
3
repräsentiert, d.h. A = (A, EA) mit A = {1, 2, 3} und EA = {(1, 2), (2, 1), (2, 3)}.
Unser Graph A besitzt die Kante (2, 3), nicht aber die Kante (3, 2).Also ist unser Graph nicht symmetrisch und
JφKI = 0
folgt für jede Interpretation I := (A, β) mit einer beliebigen Belegung β.
Semantik der Prädikatenlogik Die Definition 49 / 74
![Page 142: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/142.jpg)
Definition der Semantik: Ein Beispiel (2/2)
Sei A die σGraph-Struktur, die den gerichteten Graphen
1
2
3
repräsentiert, d.h. A = (A, EA) mit A = {1, 2, 3} und EA = {(1, 2), (2, 1), (2, 3)}.
Unser Graph A besitzt die Kante (2, 3), nicht aber die Kante (3, 2).Also ist unser Graph nicht symmetrisch und
JφKI = 0
folgt für jede Interpretation I := (A, β) mit einer beliebigen Belegung β.
Semantik der Prädikatenlogik Die Definition 49 / 74
![Page 143: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/143.jpg)
Wann wird eine Formel von einer Interpretation erfüllt?
Sei σ eine Signatur und sei φ eine FO[σ]-Formel.
(a) Sei I = (A, β) eine zu φ passende σ-Interpretation.I Wir sagen „I erfüllt φ“ (bzw. „I ist ein Modell von φ“, kurz: I |= φ),
falls JφKI = 1.I Wir sagen „I erfüllt φ“ nicht (bzw. „I ist kein Modell von φ“, kurz: I 6|= φ),
falls JφKI = 0.
(b) Sei φ ein Satz, also eine Formel ohne freie Variablen.I Dann wird φ von einer Interpretation I = (A, β) genau dann erfüllt, wenn φ
von I = (A, βleer) für die leere Belegung erfüllt wird.I Also hängt die Erfüllung von φ nur von der Struktur A und nicht von der
Belegung β ab: An Stelle von „I |= φ“ schreiben wir dann kurz „A |= φ“ undsagen „die σ-Struktur A erfüllt den Satz φ.“
Semantik der Prädikatenlogik Die Definition 50 / 74
![Page 144: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/144.jpg)
Wann wird eine Formel von einer Interpretation erfüllt?
Sei σ eine Signatur und sei φ eine FO[σ]-Formel.
(a) Sei I = (A, β) eine zu φ passende σ-Interpretation.I Wir sagen „I erfüllt φ“ (bzw. „I ist ein Modell von φ“, kurz: I |= φ),
falls JφKI = 1.I Wir sagen „I erfüllt φ“ nicht (bzw. „I ist kein Modell von φ“, kurz: I 6|= φ),
falls JφKI = 0.
(b) Sei φ ein Satz, also eine Formel ohne freie Variablen.I Dann wird φ von einer Interpretation I = (A, β) genau dann erfüllt, wenn φ
von I = (A, βleer) für die leere Belegung erfüllt wird.I Also hängt die Erfüllung von φ nur von der Struktur A und nicht von der
Belegung β ab: An Stelle von „I |= φ“ schreiben wir dann kurz „A |= φ“ undsagen „die σ-Struktur A erfüllt den Satz φ.“
Semantik der Prädikatenlogik Die Definition 50 / 74
![Page 145: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/145.jpg)
Die Prädikatenlogik und SQL
Semantik der Prädikatenlogik Die Definition 51 / 74
![Page 146: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/146.jpg)
Relationale Datenbanken
Relationale Datenbanken bestehen aus Tabellen, die sich als Relationenauffassen lassen.
Datenbanken entsprechen also Strukturen über einer passenden Signatur.Der „Kern“ der in der Praxis gebräuchlichsten Datenbankanfragesprache
SQL,
basiert auf der Prädikatenlogik.I Viele SQL-Anfragen entsprechen FO[σ]-Formeln.I In Datenbankterminologie bezeichnet man die entsprechende Prädikatenlogik
oft auch als „relationalen Kalkül“ (engl.: „relational calculus“).
Zur Illustration betrachten wir wieder die Kino-Datenbank.
Semantik der Prädikatenlogik Die Definition 52 / 74
![Page 147: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/147.jpg)
Relationale Datenbanken
Relationale Datenbanken bestehen aus Tabellen, die sich als Relationenauffassen lassen.
Datenbanken entsprechen also Strukturen über einer passenden Signatur.Der „Kern“ der in der Praxis gebräuchlichsten Datenbankanfragesprache
SQL,
basiert auf der Prädikatenlogik.I Viele SQL-Anfragen entsprechen FO[σ]-Formeln.I In Datenbankterminologie bezeichnet man die entsprechende Prädikatenlogik
oft auch als „relationalen Kalkül“ (engl.: „relational calculus“).
Zur Illustration betrachten wir wieder die Kino-Datenbank.
Semantik der Prädikatenlogik Die Definition 52 / 74
![Page 148: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/148.jpg)
Eine Kino-Datenbank
Unsere kleine Datenbank besteht aus:
einer Tabelle Orte, die Informationen über Kinos(Kino, Adresse, Telefonnummer) enthält,einer Tabelle Filme mit Informationen über die Filme(Titel, Regie, Schauspieler) undeine Tabelle Programm mit Informationen zum aktuellen Kinoprogramm(Kino, Titel, Zeit).
Semantik der Prädikatenlogik Die Definition 53 / 74
![Page 149: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/149.jpg)
Die Tabelle „Orte“
Kino Adresse TelefonBabylon Dresdner Str. 2 61609693
Casablanca Friedenstr. 12 6775752Cinestar Cubix Alexanderplatz Rathausstr. 1 2576110
Die Kurbel Giesebrechtstr. 4 88915998Filmpalast Berlin Kurfürstendamm 225 8838551International Karl-Marx-Allee 33 24756011
Kino in der Kulturbrauerei Schönhauser Allee 36 44354422Moviemento Kottbusser Damm 22 6924785
Semantik der Prädikatenlogik Die Definition 54 / 74
![Page 150: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/150.jpg)
Die Tabelle „Filme“Titel Regie Schauspieler
Capote Bennet Miller Philip Seymour HoffmanCapote Bennet Miller Catherine Keener
Das Leben der Anderen F. Henkel von Donnersmarck Martina GedeckDas Leben der Anderen F. Henkel von Donnersmarck Ulrich Tukur
Der ewige Gärtner Fernando Meirelles Ralph FiennesDer ewige Gärtner Fernando Meirelles Rachel Weisz
Good Night and Good Luck George Clooney David StrathairnGood Night and Good Luck George Clooney Patricia Clarkson
Knallhart Detlev Buck Jenny ElversKnallhart Detlev Buck Jan Henrik Stahlberg
Raumpatrouille Orion – Rücksturz ins Kino Michael Braun Dietmar SchönherrRaumpatrouille Orion – Rücksturz ins Kino Theo Mezger Dietmar SchönherrRaumpatrouille Orion – Rücksturz ins Kino Michael Braun Eva PflugRaumpatrouille Orion – Rücksturz ins Kino Theo Mezger Eva PflugRaumpatrouille Orion – Rücksturz ins Kino Michael Braun Wolfgang VölzRaumpatrouille Orion – Rücksturz ins Kino Theo Mezger Wolfgang Völz
Requiem Hans-Christian Schmid Sandra HüllerSommer vorm Balkon Andreas Dresen Nadja UhlSommer vorm Balkon Andreas Dresen Inka FriedrichSommer vorm Balkon Andreas Dresen Andreas Schmidt
Syriana Stephen Gaghan George ClooneySyriana Stephen Gaghan Matt Damon
V wie Vendetta James McTeigue Natalie PortmanWalk the Line James Mangold Joaquin PhoenixWalk the Line James Mangold Reese Witherspoon
Semantik der Prädikatenlogik Die Definition 55 / 74
![Page 151: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/151.jpg)
Die Tabelle „Programme“
Kino Titel ZeitBabylon Capote 17:00Babylon Capote 19:30
Kino in der Kulturbrauerei Capote 17:30Kino in der Kulturbrauerei Capote 20:15
International Das Leben der Anderen 14:30International Das Leben der Anderen 17:30International Das Leben der Anderen 20:30
Filmpalast Berlin Good Night and Good Luck 15:30Filmpalast Berlin Good Night and Good Luck 17:45Filmpalast Berlin Good Night and Good Luck 20:00
Kino in der Kulturbrauerei Good Night and Good Luck 18:00Kino in der Kulturbrauerei Good Night and Good Luck 20:00Kino in der Kulturbrauerei Good Night and Good Luck 22:45
Babylon Sommer vorm Balkon 21:45Kino in der Kulturbrauerei Sommer vorm Balkon 21:45Filmmuseum Potsdam Raumpatrouille Orion – Rücksturz ins Kino 22:00
Semantik der Prädikatenlogik Die Definition 56 / 74
![Page 152: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/152.jpg)
Die Kino-Signatur σKino
Die Signatur σKino besteht aus:
einem 3-stelligen Relationssymbol ˙Orte,einem 3-stelligen Relationssymbol ˙Filme,einem 3-stelligen Relationssymbol ˙Programmund Konstantensymbolen c für jedes Wort c über dem ASCII-Alphabet.Damit werden alle potentiellen Einträge c der Datenbank ermöglicht wie etwa
˙Babylon, ˙Casablanca, . . . , ˙Capote, ˙Das Leben der Anderen, . . . usw., aberauch z.B. ˙Stephen Spielberg oder ˙Lola rennt.
Semantik der Prädikatenlogik Die Definition 57 / 74
![Page 153: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/153.jpg)
Die Kino-Struktur AKino
Die σKino-Struktur AKino hat als Universum die Menge
AKino := ASCII∗
aller Worte über dem ASCII-Alphabet sowie die 3-stelligen Relationen
˙OrteAKino := { (Babylon,Dresdner Str. 2, 61609693),(Casablanca,Friedenstr. 12, 6775752) , . . . ,
(Moviemento,Kottbusser Damm 22, 6924785)},˙FilmeAKino := { (Capote,Bennet Miller,Philip Seymour Hoffman),
(Capote,Bennet Miller,Catherine Keener) , . . . ,(Walk the Line, James Mangold,Reese Witherspoon)},
˙ProgrammAKino := { (Babylon,Capote, 17:00),(Babylon,Capote, 19:30),
(Kino in der Kulturbrauerei,Capote, 17:30) , . . . }
Wie sind die Konstantensymbole zu interpretieren?
Semantik der Prädikatenlogik Die Definition 58 / 74
![Page 154: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/154.jpg)
Die Kino-Struktur AKino: Die Konstantensymbole
Die Struktur AKino interpretiert das Konstantensymbol c durch
cAKino :=
c.
Zum Beispiel:
˙BabylonAKino = Babylon,˙CapoteAKino = Capote,
˙George ClooneyAKino = George Clooney˙17 : 00AKino = 17:00
˙61609693AKino = 61609693.
Semantik der Prädikatenlogik Die Definition 59 / 74
![Page 155: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/155.jpg)
Die Kino-Struktur AKino: Die Konstantensymbole
Die Struktur AKino interpretiert das Konstantensymbol c durch
cAKino := c.
Zum Beispiel:
˙BabylonAKino = Babylon,˙CapoteAKino = Capote,
˙George ClooneyAKino = George Clooney˙17 : 00AKino = 17:00
˙61609693AKino = 61609693.
Semantik der Prädikatenlogik Die Definition 59 / 74
![Page 156: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/156.jpg)
Die Variablen
Um Lesbarkeit zu verbessern, verwenden wir die Variablennamen
xK für Kino,xA für Adresse,xTel für Telefonnummer,xT , zT für Titel,xR für Regisseur,xS für Schauspieler undxZ für Zeit.
Semantik der Prädikatenlogik Die Definition 60 / 74
![Page 157: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/157.jpg)
Anfragen an die Kinodatenbank (1/4)
„Gib die Titel aller Filme aus, die um 17:30 Uhr laufen.“
(a) Eine Formulierung in der Datenbankanfragesprache SQL:SELECT TitelFROM ProgrammWHERE Zeit = 17:30
Eine Formulierung durch eine Formel der Prädikatenlogik:
φFilme um 17:30 Uhr(xT) :=
∃xK ˙Programm(xK, xT, ˙17:30).
Semantik der Prädikatenlogik Die Definition 61 / 74
![Page 158: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/158.jpg)
Anfragen an die Kinodatenbank (1/4)
„Gib die Titel aller Filme aus, die um 17:30 Uhr laufen.“
(a) Eine Formulierung in der Datenbankanfragesprache SQL:SELECT TitelFROM ProgrammWHERE Zeit = 17:30
Eine Formulierung durch eine Formel der Prädikatenlogik:
φFilme um 17:30 Uhr(xT) := ∃xK ˙Programm(xK, xT, ˙17:30).
Semantik der Prädikatenlogik Die Definition 61 / 74
![Page 159: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/159.jpg)
Anfragen an die Kinodatenbank (2/4)
„Gib die Titel aller Filme aus, in denenGeorge Clooney mitspielt oder Regie führt.“
(b) Diesmal suchen wir eine Formel
φFilme mit George Clooney(xT),
die genau dann in der Struktur AKino wahr ist, wenn T der Titel eines Filmsist, in dem George Clooney mitspielt oder Regie führt:
φFilme mit George Clooney(xT) :=
(∃xR ˙Filme(xT, xR, ˙George Clooney) ∨∃xS ˙Filme(xT, ˙George Clooney, xS)
).
Semantik der Prädikatenlogik Die Definition 62 / 74
![Page 160: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/160.jpg)
Anfragen an die Kinodatenbank (2/4)
„Gib die Titel aller Filme aus, in denenGeorge Clooney mitspielt oder Regie führt.“
(b) Diesmal suchen wir eine Formel
φFilme mit George Clooney(xT),
die genau dann in der Struktur AKino wahr ist, wenn T der Titel eines Filmsist, in dem George Clooney mitspielt oder Regie führt:
φFilme mit George Clooney(xT) :=(∃xR ˙Filme(xT, xR, ˙George Clooney) ∨∃xS ˙Filme(xT, ˙George Clooney, xS)
).
Semantik der Prädikatenlogik Die Definition 62 / 74
![Page 161: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/161.jpg)
Anfragen an die Kinodatenbank (3/4)
„Gib Name und Adresse aller Kinos aus, in denen ein Film läuft, in demGeorge Clooney mitspielt oder Regie führt.”
(c) Eine Formulierung in SQL:
SELECT Orte.Kino, Orte.AdresseFROM Orte, Filme, ProgrammWHERE Orte.Kino = Programm.Kino AND
Filme.Titel = Programm.Titel AND(Filme.Schauspieler = George Clooney ORFilme.Regie = George Clooney)
Eine Formulierung in der Prädikatenlogik: φKinos mit George Clooney(xK, xA) :=
(∃xTel ˙Orte(xK, xA, xTel) ∧
∃xT∃xZ( ˙Programm(xK, xT, xZ) ∧(∃xR ˙Filme(xT, xR, ˙George Clooney) ∨
∃xS ˙Filme(xT, ˙George Clooney, xS))))
Semantik der Prädikatenlogik Die Definition 63 / 74
![Page 162: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/162.jpg)
Anfragen an die Kinodatenbank (3/4)
„Gib Name und Adresse aller Kinos aus, in denen ein Film läuft, in demGeorge Clooney mitspielt oder Regie führt.”
(c) Eine Formulierung in SQL:
SELECT Orte.Kino, Orte.AdresseFROM Orte, Filme, ProgrammWHERE Orte.Kino = Programm.Kino AND
Filme.Titel = Programm.Titel AND(Filme.Schauspieler = George Clooney ORFilme.Regie = George Clooney)
Eine Formulierung in der Prädikatenlogik: φKinos mit George Clooney(xK, xA) :=(∃xTel ˙Orte(xK, xA, xTel) ∧
∃xT∃xZ( ˙Programm(xK, xT, xZ) ∧(∃xR ˙Filme(xT, xR, ˙George Clooney) ∨
∃xS ˙Filme(xT, ˙George Clooney, xS))))
Semantik der Prädikatenlogik Die Definition 63 / 74
![Page 163: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/163.jpg)
Anfragen an die Kinodatenbank (3/4)
„Gib Name und Adresse aller Kinos aus, in denen ein Film läuft, in demGeorge Clooney mitspielt oder Regie führt.”
(c) Eine Formulierung in SQL:
SELECT Orte.Kino, Orte.AdresseFROM Orte, Filme, ProgrammWHERE Orte.Kino = Programm.Kino AND
Filme.Titel = Programm.Titel AND(Filme.Schauspieler = George Clooney ORFilme.Regie = George Clooney)
Eine Formulierung in der Prädikatenlogik: φKinos mit George Clooney(xK, xA) :=(∃xTel ˙Orte(xK, xA, xTel) ∧
∃xT∃xZ( ˙Programm(xK, xT, xZ) ∧
(∃xR ˙Filme(xT, xR, ˙George Clooney) ∨
∃xS ˙Filme(xT, ˙George Clooney, xS))))
Semantik der Prädikatenlogik Die Definition 63 / 74
![Page 164: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/164.jpg)
Anfragen an die Kinodatenbank (3/4)
„Gib Name und Adresse aller Kinos aus, in denen ein Film läuft, in demGeorge Clooney mitspielt oder Regie führt.”
(c) Eine Formulierung in SQL:
SELECT Orte.Kino, Orte.AdresseFROM Orte, Filme, ProgrammWHERE Orte.Kino = Programm.Kino AND
Filme.Titel = Programm.Titel AND(Filme.Schauspieler = George Clooney ORFilme.Regie = George Clooney)
Eine Formulierung in der Prädikatenlogik: φKinos mit George Clooney(xK, xA) :=(∃xTel ˙Orte(xK, xA, xTel) ∧
∃xT∃xZ( ˙Programm(xK, xT, xZ) ∧(∃xR ˙Filme(xT, xR, ˙George Clooney) ∨
∃xS ˙Filme(xT, ˙George Clooney, xS))))
Semantik der Prädikatenlogik Die Definition 63 / 74
![Page 165: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/165.jpg)
Anfragen an die Kinodatenbank (3/4)
„Gib Name und Adresse aller Kinos aus, in denen ein Film läuft, in demGeorge Clooney mitspielt oder Regie führt.”
(c) Eine Formulierung in SQL:
SELECT Orte.Kino, Orte.AdresseFROM Orte, Filme, ProgrammWHERE Orte.Kino = Programm.Kino AND
Filme.Titel = Programm.Titel AND(Filme.Schauspieler = George Clooney ORFilme.Regie = George Clooney)
Eine Formulierung in der Prädikatenlogik: φKinos mit George Clooney(xK, xA) :=(∃xTel ˙Orte(xK, xA, xTel) ∧
∃xT∃xZ( ˙Programm(xK, xT, xZ) ∧(∃xR ˙Filme(xT, xR, ˙George Clooney) ∨
∃xS ˙Filme(xT, ˙George Clooney, xS))))
Semantik der Prädikatenlogik Die Definition 63 / 74
![Page 166: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/166.jpg)
Anfragen an die Kinodatenbank (4/4)
„Gib die Titel aller Filme aus, in denen nur Schauspieler mitspielen, dieschon mal mit Stephen Spielberg zusammengearbeitet haben.“
(d) lässt sich in der Prädikatenlogik wie folgt formulieren:
φFilme mit Spielberg-Schauspieler(xT) :=
∃xR∃xS( ˙Filme(xT , xR , xS) ∧∀yS
( ˙Filme(xT , xR , yS)→ ∃zT ˙Filme(zT , ˙Stephen Spielberg, yS)))
Semantik der Prädikatenlogik Die Definition 64 / 74
![Page 167: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/167.jpg)
Anfragen an die Kinodatenbank (4/4)
„Gib die Titel aller Filme aus, in denen nur Schauspieler mitspielen, dieschon mal mit Stephen Spielberg zusammengearbeitet haben.“
(d) lässt sich in der Prädikatenlogik wie folgt formulieren:
φFilme mit Spielberg-Schauspieler(xT) :=∃xR∃xS
( ˙Filme(xT , xR , xS) ∧
∀yS( ˙Filme(xT , xR , yS)→ ∃zT ˙Filme(zT , ˙Stephen Spielberg, yS)
))
Semantik der Prädikatenlogik Die Definition 64 / 74
![Page 168: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/168.jpg)
Anfragen an die Kinodatenbank (4/4)
„Gib die Titel aller Filme aus, in denen nur Schauspieler mitspielen, dieschon mal mit Stephen Spielberg zusammengearbeitet haben.“
(d) lässt sich in der Prädikatenlogik wie folgt formulieren:
φFilme mit Spielberg-Schauspieler(xT) :=∃xR∃xS
( ˙Filme(xT , xR , xS) ∧∀yS
( ˙Filme(xT , xR , yS)→
∃zT ˙Filme(zT , ˙Stephen Spielberg, yS)))
Semantik der Prädikatenlogik Die Definition 64 / 74
![Page 169: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/169.jpg)
Anfragen an die Kinodatenbank (4/4)
„Gib die Titel aller Filme aus, in denen nur Schauspieler mitspielen, dieschon mal mit Stephen Spielberg zusammengearbeitet haben.“
(d) lässt sich in der Prädikatenlogik wie folgt formulieren:
φFilme mit Spielberg-Schauspieler(xT) :=∃xR∃xS
( ˙Filme(xT , xR , xS) ∧∀yS
( ˙Filme(xT , xR , yS)→ ∃zT ˙Filme(zT , ˙Stephen Spielberg, yS)))
Semantik der Prädikatenlogik Die Definition 64 / 74
![Page 170: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/170.jpg)
Was kann in der Prädikatenlogiknicht ausgedrückt werden?
Semantik der Prädikatenlogik Die Definition 65 / 74
![Page 171: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/171.jpg)
Prädikatenlogik: Grenzen (1/2)
Die Signatur σGraph := {E} besteht aus einem 2-stelligen Relationssymbol E .(a) Es gibt keine FO[σGraph]-Formel ψ mit freien Variablen x und y , so dass für
jeden gerichteten Graphen A = (A, EA) und jede zu ψ passende Belegung βin A gilt:
(A, β) erfüllt ψ ⇐⇒es gibt in A einen Weg von Knoten β(x) zu Knoten β(y).
(b) Es gibt keinen FO[σGraph]-Satz φ, so dass für jeden gerichteten GraphenA = (A, EA) gilt:
A erfüllt φ ⇐⇒ A ist azyklisch.
(c) Es gibt keinen FO[σGraph]-Satz φ′, so dass für jeden gerichteten GraphenA = (A, EA) gilt:
A erfüllt φ′ ⇐⇒ A ist stark zusammenhängend.
Semantik der Prädikatenlogik Die Definition 66 / 74
![Page 172: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/172.jpg)
Prädikatenlogik: Grenzen (1/2)
Die Signatur σGraph := {E} besteht aus einem 2-stelligen Relationssymbol E .(a) Es gibt keine FO[σGraph]-Formel ψ mit freien Variablen x und y , so dass für
jeden gerichteten Graphen A = (A, EA) und jede zu ψ passende Belegung βin A gilt:
(A, β) erfüllt ψ ⇐⇒es gibt in A einen Weg von Knoten β(x) zu Knoten β(y).
(b) Es gibt keinen FO[σGraph]-Satz φ, so dass für jeden gerichteten GraphenA = (A, EA) gilt:
A erfüllt φ ⇐⇒ A ist azyklisch.
(c) Es gibt keinen FO[σGraph]-Satz φ′, so dass für jeden gerichteten GraphenA = (A, EA) gilt:
A erfüllt φ′ ⇐⇒ A ist stark zusammenhängend.
Semantik der Prädikatenlogik Die Definition 66 / 74
![Page 173: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/173.jpg)
Prädikatenlogik: Grenzen (2/2)
Was bedeuten diese Aussagen?
In der Prädikatenlogik lassen sich die Eigenschaften- „azyklisch zu sein“, bzw.- „stark zusammenhängend zu sein“, bzw.- „durch einen Weg verbunden zu sein“
nicht mit Hilfe der Signatur σGraph formalisieren. Eine Formalisierung innerhalbder Zermelo-Fraenkel Mengenlehre ist aber möglich.
Semantik der Prädikatenlogik Die Definition 67 / 74
![Page 174: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/174.jpg)
Semantische Folgerung
Semantik der Prädikatenlogik Die Definition 68 / 74
![Page 175: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/175.jpg)
Semantische Folgerung
Sei σ eine Signatur. Φ ist eine Menge von FO[σ]-Formeln und ψ ist eineFO[σ]-Formel. Wir sagen,
ψ folgt aus Φ, (kurz: Φ |= ψ),
falls für jede, zu allen Formeln in Φ und ψ passende Interpretation I gilt:
Falls f.a. φ ∈ Φ I |= φ︸ ︷︷ ︸d.h. JφKI = 1
, so auch I |= ψ.︸ ︷︷ ︸d.h. JψKI = 1
Semantik der Prädikatenlogik Die Definition 69 / 74
![Page 176: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/176.jpg)
Die Addition in den natürlichen Zahlen (1/2)
Wir schauen uns wieder die Signatur
σ+Ar := {+, <, 0, 1},
an, wobei + ein 2-stelliges Funktionssymbol, < ein 2-stelliges Relationssymbolund 0 und 1 Konstantensymbole sind.
In FO[σ+Ar]-Formeln können wir Aussagen über die Addition in den natürlichen
Zahlen machen. Wir betrachten deshalb die σ+Ar-Struktur
N+ := (N, +N , <N , 0N , 1N ),
wobei +N und <N die natürliche Addition bzw. die Kleiner-Relation auf Nsindund 0N := 0, 1N := 1 gilt.
Gibt es ein Axiomensystem, aus dem sich genau die Sätze aus FO[σ+Ar] folgern
lassen, die in der σ+Ar-Struktur N+ wahr sind?
Semantik der Prädikatenlogik Die Definition 70 / 74
![Page 177: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/177.jpg)
Die Addition in den natürlichen Zahlen (1/2)
Wir schauen uns wieder die Signatur
σ+Ar := {+, <, 0, 1},
an, wobei + ein 2-stelliges Funktionssymbol, < ein 2-stelliges Relationssymbolund 0 und 1 Konstantensymbole sind.
In FO[σ+Ar]-Formeln können wir Aussagen über die Addition in den natürlichen
Zahlen machen. Wir betrachten deshalb die σ+Ar-Struktur
N+ := (N, +N , <N , 0N , 1N ),
wobei +N und <N die natürliche Addition bzw. die Kleiner-Relation auf Nsindund 0N := 0, 1N := 1 gilt.
Gibt es ein Axiomensystem, aus dem sich genau die Sätze aus FO[σ+Ar] folgern
lassen, die in der σ+Ar-Struktur N+ wahr sind?
Semantik der Prädikatenlogik Die Definition 70 / 74
![Page 178: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/178.jpg)
Die Addition in den natürlichen Zahlen (1/2)
Wir schauen uns wieder die Signatur
σ+Ar := {+, <, 0, 1},
an, wobei + ein 2-stelliges Funktionssymbol, < ein 2-stelliges Relationssymbolund 0 und 1 Konstantensymbole sind.
In FO[σ+Ar]-Formeln können wir Aussagen über die Addition in den natürlichen
Zahlen machen. Wir betrachten deshalb die σ+Ar-Struktur
N+ := (N, +N , <N , 0N , 1N ),
wobei +N und <N die natürliche Addition bzw. die Kleiner-Relation auf Nsindund 0N := 0, 1N := 1 gilt.
Gibt es ein Axiomensystem, aus dem sich genau die Sätze aus FO[σ+Ar] folgern
lassen, die in der σ+Ar-Struktur N+ wahr sind?
Semantik der Prädikatenlogik Die Definition 70 / 74
![Page 179: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/179.jpg)
Die Addition in den natürlichen Zahlen (2/2)
Das Axiomensystem ΦP der Presburger-Arithmetik:
(P1) ¬(x +1=0
), (P2) x +1=y +1→ x =y ,
(P3) x +0=x , (P4) x +(y +1)=(x +y)+1,(P5) ¬(x <0), (P6) (x <y +1)↔ x <y ∨ x =y ,
(P7) x <y ∨ x =y ∨ y <x ,
Weiterhin wird das Induktionsaxiom
φ(0) ∧ ∀x(φ(x)→ φ(x +1))→ φ
für jede FO[σ+Ar] Formel φ(x) gefordert.
Für alle FO[σ+Ar]-Sätze φ gilt
N+ |= φ ⇐⇒ ΦP |= φ.
Semantik der Prädikatenlogik Die Definition 71 / 74
![Page 180: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/180.jpg)
Die Addition in den natürlichen Zahlen (2/2)
Das Axiomensystem ΦP der Presburger-Arithmetik:
(P1) ¬(x +1=0
), (P2) x +1=y +1→ x =y ,
(P3) x +0=x , (P4) x +(y +1)=(x +y)+1,(P5) ¬(x <0), (P6) (x <y +1)↔ x <y ∨ x =y ,
(P7) x <y ∨ x =y ∨ y <x ,
Weiterhin wird das Induktionsaxiom
φ(0) ∧ ∀x(φ(x)→ φ(x +1))→ φ
für jede FO[σ+Ar] Formel φ(x) gefordert.
Für alle FO[σ+Ar]-Sätze φ gilt
N+ |= φ ⇐⇒ ΦP |= φ.
Semantik der Prädikatenlogik Die Definition 71 / 74
![Page 181: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/181.jpg)
Addition und Multiplikation in den natürlichen Zahlen
Die Presburger-Arithmetik ist ein Axiomensystem für die Addition natürlicherZahlen.
Können wir auch ein Axiomensystem finden, wenn wir neben der Addition auchdie Multiplikation als Funktionssymbol zulassen?
1. Die erste Antwort ist klar, wenn wir alle wahren Aussagen auch als Axiomeverwenden.
2. Aber Axiomensysteme sollte man doch „einfach beschreiben“ können!
Der Gödelsche Unvollständigkeitssatz: Es gibt kein einfach beschreibbaresAxiomensystem für die Addition und Multiplikation in den natürlichen Zahlen. :-((
Und die Konsequenz: Komplexe Realitäten wie die σAr-Struktur N lassen sichnicht beschreiben und lassen sich insbesondere nicht im Rechner modellieren!
Semantik der Prädikatenlogik Die Definition 72 / 74
![Page 182: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/182.jpg)
Addition und Multiplikation in den natürlichen Zahlen
Die Presburger-Arithmetik ist ein Axiomensystem für die Addition natürlicherZahlen.
Können wir auch ein Axiomensystem finden, wenn wir neben der Addition auchdie Multiplikation als Funktionssymbol zulassen?
1. Die erste Antwort ist klar, wenn wir alle wahren Aussagen auch als Axiomeverwenden.
2. Aber Axiomensysteme sollte man doch „einfach beschreiben“ können!
Der Gödelsche Unvollständigkeitssatz: Es gibt kein einfach beschreibbaresAxiomensystem für die Addition und Multiplikation in den natürlichen Zahlen. :-((
Und die Konsequenz: Komplexe Realitäten wie die σAr-Struktur N lassen sichnicht beschreiben und lassen sich insbesondere nicht im Rechner modellieren!
Semantik der Prädikatenlogik Die Definition 72 / 74
![Page 183: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/183.jpg)
Addition und Multiplikation in den natürlichen Zahlen
Die Presburger-Arithmetik ist ein Axiomensystem für die Addition natürlicherZahlen.
Können wir auch ein Axiomensystem finden, wenn wir neben der Addition auchdie Multiplikation als Funktionssymbol zulassen?
1. Die erste Antwort ist klar, wenn wir alle wahren Aussagen auch als Axiomeverwenden.
2. Aber Axiomensysteme sollte man doch „einfach beschreiben“ können!
Der Gödelsche Unvollständigkeitssatz: Es gibt kein einfach beschreibbaresAxiomensystem für die Addition und Multiplikation in den natürlichen Zahlen. :-((
Und die Konsequenz: Komplexe Realitäten wie die σAr-Struktur N lassen sichnicht beschreiben und lassen sich insbesondere nicht im Rechner modellieren!
Semantik der Prädikatenlogik Die Definition 72 / 74
![Page 184: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/184.jpg)
Die Zermelo-Fraenkel Mengenlehre,Auswahlaxiom und Kontinuumshypothese
Semantik der Prädikatenlogik Die Definition 73 / 74
![Page 185: LogikersterStufe (Prädikatenlogik) erster... · DieTabelle„Filme“ Titel Regie Schauspieler Capote BennetMiller PhilipSeymourHoffman Capote BennetMiller CatherineKeener DasLebenderAnderen](https://reader030.vdokument.com/reader030/viewer/2022041206/5d5db64688c9934d528b58af/html5/thumbnails/185.jpg)
Auswahlaxiom und Kontinuumshypothese
Die beiden folgenden Aussagen können in der Zermelo-Fraenkel Mengenlehre ZFformalisiert werden, sind aber nicht Folgerungen von ZF.
(a) Das Auswahlaxiom:
Für alle Mengen A, deren Elemente paarweise disjunkte Mengen sind, gibt eseine Menge B, die genau ein Element aus jedem Element von A enthält.
(b) Die Kontinuumshypothese:
Jede überabzählbare Teilmenge der reellen Zahlen ist gleichmächtig mit derMenge der reellen Zahlen.
Gilt das Auswahlaxiom? Ist die Kontinuumshypothese richtig?Es gibt absolute Erkenntnis-Grenzen!
Semantik der Prädikatenlogik Die Definition 74 / 74