Grundbegriffe der Prädikatenlogik

Logik und Diskrete Strukturen (Sommer 2017)
Prof. Dr. Ulrich Hertrampf
Grundbegriffe der Prädikatenlogik
Die Aussagenlogik kann vieles nicht ausdrücken, zum Beispiel:
• Für alle Objekte einer gewissen Art gilt...
• Es gibt ein Objekt einer gewissen Art mit...
• Funktionen und Relationen
Um solche Begriffsbildungen in unsere Logik mit einzubeziehen,
müssen wir die Aussagenlogik erweitern. Wir kommen dadurch
zum Begriff der Prädikatenlogik (erster Stufe).
Die hier nicht behandelte Prädikatenlogik zweiter Stufe erlaubt auch Quantoren,
die sich auf Funktionen oder Prädikate beziehen.
Einheit 16
– Folie 16.1 –
16.05.2017
Logik und Diskrete Strukturen (Sommer 2017)
Prof. Dr. Ulrich Hertrampf
Syntax der Prädikatenlogik
Wir verwenden drei Sorten von Objekten:
• Eine Variable hat die Form xi für ein i ∈ {1, 2, . . . }
• Ein Prädikatsymbol hat die Form Pik für ein i ∈ {1, 2, . . . }
und ein k ∈ {0, 1, 2, . . . }
k
• Ein Funktionssymbol hat die Form fi für ein i ∈ {1, 2, . . . }
und ein k ∈ {0, 1, 2, . . . }
i ist ein Index, der uns ermöglicht, jeweils eine beliebige Anzahl dieser
Objekte zu verwenden. Wir nennen i auch Unterscheidungsindex.
k ist die Stelligkeit oder Stellenzahl von Pik bzw. fi k .
Einheit 16
– Folie 16.2 –
16.05.2017
Logik und Diskrete Strukturen (Sommer 2017)
Prof. Dr. Ulrich Hertrampf
Terme
Die Menge der Terme definieren wir induktiv so:
Induktionsanfang
• Variablen sind Terme.
• Wenn f ein k-stelliges Funktionssymbol ist und
t1 , . . . , tk Terme sind, dann ist auch
f (t1 , . . . , tk )
Induktionsschritt
ein Term.
Nullstellige Funktionssymbole stellen nach dieser Definition ebenfalls Terme dar, die wir auch als Konstanten bezeichnen.
Gelegentlich werden bei nullstelligen Funktionssymbolen die Klammern weggelassen.
Beispiele für Terme: f31 (f31 (x4 )), f22 (f50 (), f31 (x22234 )), f71 (f30 )
aber auch: x9 , f13 (x7 , x7 , x6 ), f11 (x1 )
Einheit 16
– Folie 16.3 –
16.05.2017
Logik und Diskrete Strukturen (Sommer 2017)
Prof. Dr. Ulrich Hertrampf
Formeln
Nun soll die Menge der Formeln definiert werden:
• Wenn P ein k-stelliges Prädikatsymbol ist und t1 , . . . , tk
Terme sind, dann ist
P(t1 , . . . , tk )
eine atomare Formel.
• Mit F und G sind auch ¬F , (F ∧ G ) und (F ∨ G ) Formeln.
• Wenn F eine Formel ist und x eine Variable, dann sind
auch ∃x F und ∀x F Formeln.
Der Begriff der Teilformel ist der Intuition entsprechend definiert.
Das gleiche gilt für freie und gebundene Variablen.
Weitere wichtige Begriffe: Geschlossene Formel, Aussage, Matrix.
Einheit 16
– Folie 16.4 –
16.05.2017
Logik und Diskrete Strukturen (Sommer 2017)
Prof. Dr. Ulrich Hertrampf
Beispiel
F sei die folgende Formel:
F = (∀x3 P43 (x3 , f22 (x1 , x2 ), x2 ) ∧ ¬∃x1 P72 (x1 , f32 (f60 , f91 (x3 ))))
Wir schreiben alle Teilformeln, Terme, gebundene Variablen,
freie Variablen dieser Formel auf:
F , ∀x3 P43 (x3 , f22 (x1 , x2 ), x2 ), ¬∃x1 P72 (x1 , f32 (f60 , f91 (x3 ))),
3
2
P4 (x3 , f2 (x1 , x2 ), x2 ), ∃x1 P72 (x1 , f32 (f60 , f91 (x3 ))), P72 (x1 , f32 (f60 , f91 (x3 )))
Teilformeln:
Terme:
x1 , x2 , x3 ,
Gebundene Variablen:
Freie Variablen:
Einheit 16
f60 , f91 (x3 ), f22 (x1 , x2 ),
f32 (f60 , f91 (x3 ))
x1 , x3
x1 , x2 , x3
– Folie 16.5 –
16.05.2017
Logik und Diskrete Strukturen (Sommer 2017)
Prof. Dr. Ulrich Hertrampf
Beispiel (Forts.)
Es geht nach wie vor um die Formel F :
F = (∀x3 P43 (x3 , f22 (x1 , x2 ), x2 ) ∧ ¬∃x1 P72 (x1 , f32 (f60 , f91 (x3 ))))
• Ist F eine Aussage?
Nein - es gibt freie Variablen.
• Kommen in F Konstanten vor?
Ja, eine Konstante: f60 bzw. f60 ().
• Wie lautet die Matrix von F ?
F ∗ = (P43 (x3 , f22 (x1 , x2 ), x2 ) ∧ ¬P72 (x1 , f32 (f60 , f91 (x3 ))))
Einheit 16
– Folie 16.6 –
16.05.2017