Kapitel 2. Die Prädikatenlogik (erster Stufe) Mathematische Strukturen und formale Sprachen

Transkript

1 Kapitel 2 Die Prädikatenlogik (erster Stufe) Mathematische Strukturen und formale Sprachen Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 1/81

2 Übersicht 2.0 Vorbemerkungen 2.1 Mathematische Strukturen 2.2 Prädikatenlogik: Grundzeichen der Sprachen 2.3 Prädikatenlogik: Terme 2.4 Prädikatenlogik: Formeln und Sätze 2.5 Prädikatenlogik: Zentrale semantische Konzepte Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 2/81

3 2.0 Vorbemerkungen Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 3/81

4 Vorbemerkungen Wir erweitern hier die Aussagenlogik zur Prädikatenlogik, die uns erlauben wird Aussagen über mathematische Strukturen zu formalisieren und den Wahrheitswert dieser Aussagen zu analysieren. Um über Strukturen sprechen zu können, führen wir Individuenvariablen ein, die für die Grundobjekte (= Individuen) der Strukturen stehen. Weiter werden wir Funktionszeichen und Relationszeichen zur Bezeichnung von ausgezeichneten Funktionen und Relationen der Struktur verwenden, sowie Konstanten zur Bezeichnung ausgezeichneter Individuen. Diese Zeichen hängen von der zu beschreibenden Struktur - genauer von deren Typ - ab. In jedem Fall haben wir das Gleichheitszeichen zur Bezeichnung identischer Individuen. Weiter benötigen wir die Möglichkeit der Quantifizierung. Hierbei quantifizieren wir nur über die Grundobjekte ( Für alle Individuen gilt... bzw. Es gibt ein Individuum, für das... gilt ). Da man die Individuen einer Struktur auch die Objekte der Stufe 1, Mengen von Individuen Objekte der Stufe 2 usw. nennt, sprechen wir hier auch von der Prädikatenlogik 1. Stufe (PL1). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 4/81

5 Vorbemerkungen Im Folgenden erläutern wir die gerade genannten Konzepte am Beispiel von Aussagen über die Struktur der natürlichen Zahlen: quantifizierte Aussagen über die Grundobjekte (= Individuen) Für jede Zahl x gibt es eine Zahl y mit... Eigenschaften und Beziehungen (Prädikate und Relationen) von und zwischen den Grundobjekten... x ist Primzahl oder x ist kleiner als y Abbildungen (Funktionen) von Grundobjekten... y ist der Nachfolger von x Spezielle Grundobjekte (Konstanten)... y ist kleiner als x, fallsx = 0 gilt Die Aussage Zu jeder von Null verschiedenen Zahl x gibt es eine Zahl y, sodass x der Nachfolger von y ist, wobei y kleiner als x ist. werden wir durch die Formel x ( (x = 0) y (x = S(y) y < x)) darstellen, wobei S die Nachfolgerfunktion bezeichnet. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 5/81

6 2.1 Mathematische Strukturen Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 6/81

7 Mathematische Strukturen: Idee Eine (mathematische) Struktur A besteht aus einer nichtleeren Menge A, dem Individuenbereich(oder Träger oder Universum) der Struktur Hierbei kann der Individuenbereich beliebige Kardinalität (= 0) haben, also endlich oder unendlich (und hier wiederum abzählbar oder überabzählbar) sein. ausgezeichneten Relationen und Funktionen auf dem Träger sowie ausgezeichneten Elementen des Trägers, den Grundrelationen, Grundfunktionen und Konstanten von A Hierbei ist die Anzahl der Grundrelationen und Grundfunktionen (sowie deren Dimension) und die Anzahl der Konstanten beliebig. Es können also z.b. gar keine Grundrelationen vorkommen oder unendlich viele. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 7/81

8 Mathematische Strukturen: Formale Definition DEFINITION. Eine Struktur A ist ein 4-Tupel A =(A;(R A i i I ); (fj A j J); (ck A k K)) wobei I, J, K beliebige (möglicherweise leere oder unendliche) Mengen sind und folgendes gilt: A ist eine nichtleere Menge (das Universum oder der Träger oder der Individuenbereich der Struktur A; entsprechend werden die Elemente von A die Individuen von A genannt), für jedes i I ist Ri A eine n i -stellige Relation auf A (für n i 1 geeignet), d.h. Ri A A n i (die Grundrelationen von A), für jedes j J ist fj A eine m j -stellige Funktion auf A (für m j 1 geeignet), d.h. fj A : A m j A (die Grundfunktionen von A), und für jedes k K ist c A k ein Element von A (die Konstanten von A). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 8/81

9 Mathematische Strukturen: Typ oder Signatur Die Anzahl der ausgezeichneten Relationen und Funktionen zusammen mit deren Stelligkeiten sowie die Anzahl der Konstanten bestimmen den Typ einer Struktur: DEFINITION. Die Struktur A =(A;(Ri A Typ oder besitzt die Signatur i I ); (fj A j J); (ck A k K)) ist vom σ(a) =((n i i I ); (m j j J); K), falls R A i n i -stellig und f A j m j -stellig ist. Besitzt eine Struktur keine ausgezeichneten Relationen (bzw. Funktionen), so spricht man auch von einer algebraischen oder funktionalen (bzw. relationalen) Struktur. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 9/81

10 Mathematische Strukturen: Notation Bei einer Struktur A =(A;(Ri A i I ); (fj A j J); (ck A k K)) der Signatur σ(a) =((n i i I ); (m j j J); K) machen wir o.b.d.a. folgende Annahmen: Sind die Indexmengen I, J, K endlich, so gehen wir davon aus, dass diese ein Anfangsstück der natürlichen Zahlen sind und schreiben z.b. statt (R A i i {0,...,k}) einfachr A 0,...,RA k und beim Typ statt (n i i {0,...,k}) entsprechendn 0,...,n k. Ist eine der Indexmengen leer, so lassen wir die entsprechende Komponente in der Beschreibung der Struktur auch weg. In der Signatur ersetzen wir eine leere Indexmenge auch durch. Wird im Folgenden eine Struktur A nicht näher beschrieben, so gehen wir von der allgemeinen Form A =(A;(Ri A i I ); (fj A j J); (ck A k K)) und der Signatur σ(a) =((n i i I ); (m j j J); K) aus. Entsprechend nehmen wir von einer nicht näher beschriebenen Signatur σ an, dass σ =((n i i I ); (m j j J); K) gilt. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 10 / 81

11 Mathematische Strukturen: Beispiele Ein (gerichteter oder ungerichteter) Graph ist eine relationale Struktur G =(V ; E G ), wobei V die Menge der Knoten (vertices) und E G die 2-stellige Kantenrelation (edges) auf der Knotenmenge ist. Der Typ von G ist also σ(g) = (2; ; ). Eine partielle oder lineare Ordnung ist eine relationale Struktur O = (A; O ), wobei A die Menge ist, auf der die 2-stellige Ordnungsrelation O definiert ist. Der Typ der Ordnung O ist σ(o) =(2; ; ). Ordnungen und Graphen haben also denselben Typ (wobei jedoch an die ausgezeichnete 2-stellige Relation unterschiedliche Anforderungen gestellt werden). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 11 / 81

12 Mathematische Strukturen: Beispiele (Forts.) Eine Gruppe G ist gegeben durch den Träger A von G und die 2-stellige Verknüpfung + G auf dem Träger. Zeichnet man noch das neutrale Element 0 G der Verknüpfung + G aus, so erhält man die Struktur G =(A;+ G ;0 G ) vom Typ σ(g) =( ; 2; {0}). Nimmt man das Inverse als weitere (1-st.) Grundfunktion hinzu, so erhält man die Struktur G =(A;+ G, G ;0 G ) vom Typ σ(g )=( ;2, 1; {0}). G und G sind algebraische Strukturen. Ein Körper K kann als (algebraische) Struktur K =(A;+ K, K;0 K, 1 K ) mit σ(k) =( ;2, 2; {0, 1}) beschrieben werden, wobei + K und K die Körperaddition und -multiplikation sind und 0 K und 1 K die zugehörigen neutralen Elemente. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 12 / 81

13 Mathematische Strukturen: Beispiele (Forts.) Struktur der natürlichen Zahlen (Arithmetik): Versieht man die Menge der natürlichen Zahlen N mit Addition und Multiplikation und deren neutralen Elementen, so erhält man die (algebraische) Struktur N =(N;+, ;0, 1) deren Typ σ(n )=( ;2, 2; {0, 1}) mitdemtypderkörper übereinstimmt. Erweitern kann man diese Struktur z.b. noch dadurch, dass man die Ordnung auf N sowie die Nachfolgerfunktion S(x) = x + 1 als Grundrelation bzw. -funktion hinzunimmt: N =(N; ;+,, S;0, 1) wobei σ(n ) = (2; 2, 2, 1; {0, 1}). Man könnte die Struktur der natürlichen Zahlen auch als reine Ordnungsstruktur betrachten: N =(N; ) wobei σ(n ) = (2; ; ). Die Wahl der Grundrelationen, Grundfunktionen und Konstanten hat (möglicherweise) Einfluss darauf, was in der zu einer Struktur gehörenden Sprache über die Struktur ausgedrückt werden kann. Wir führen nun die zu einer Struktur passende Sprache ein, wobei diese nur vom Typ der Struktur abhängt. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 13 / 81

14 2.2 Prädikatenlogik: Grundzeichen der Sprachen Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 14 / 81

15 Die Grundzeichen der Sprache L(σ) Um über Strukturen eines gegebenen Typs σ =((n i i I ); (m j j J); K) Aussagen machen zu können, führen wir nun die zugehörige Sprache L(σ) ein. Bei den Grundzeichen der Sprache L = L(σ) unterscheidet man zwischen den logischen Zeichen (die nicht von σ abhängen) und den nichtlogischen Zeichen (die von σ abhängen). Die nichtlogischen Zeichen sind hierbei gerade Namen für die Grundrelationen, Grundfunktionen und Konstanten. Die Menge aller Grundzeichen vom L bezeichnen wir als das Alphabet von L. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 15 / 81

16 Die Grundzeichen der Sprache L(σ): logische Zeichen Logische Zeichen von L(σ): Abzählbar unendlich viele Individuenvariablen (kurz: Variablen): v 0, v 1, v 2,... Wir bezeichnen Variablen im Folgenden mit x, y, z, x i,... Die Junktoren und. (Die übrigen üblichen Junktoren,, werden wir wiederum als Abkürzungen einführen.) Der Existenzquantor. (Den Allquantor werden wir später ebenfalls als Abkürzung einführen.) Das Gleichheitszeichen =. Die Klammern ( und ) sowie das Komma,. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 16 / 81

17 Die Grundzeichen der Sprache L(σ): nichtlogische Zeichen und Typ Nichtlogische Zeichen von L(σ): Für jedes i I das n i -stellige Relationszeichen R i. Für jedes j J das mj -stellige Funktionszeichen f j. Für jedes k K die Konstante ck. Wie bei den Strukturen nennen wir σ den Typ oder die Signatur der Sprache L(σ). Sind die Struktur A und die Sprache L vom selben Typ σ, soheißt L die Sprache von A (und wir schreiben auch L = L(A)) und A eine L-Struktur. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 17 / 81

18 Strukturen und deren zugehörige Sprachen: Beispiele Für die im letzten Beispiel eingeführten Strukturen können wir die zugehörigen Sprachen (deren Signaturen gerade durch die Signaturen der Strukturen gegeben sind) durch Angabe der nichtlogischen Zeichen angeben: Die Sprache der Graphen enthält ebenso wie die Sprache der Ordnungen als einziges nichtlogisches Zeichen das 2-stellige Relationszeichen R 0.Wir benutzen statt R 0 allerdings in der Regel die suggestiveren Zeichen E (das für die Kantenrelation steht) bzw. (das für die Ordnungsrelation steht) und schreiben L(E) undl( ). Die Sprache der Gruppen verfügt über ein 2-stelliges Funktionszeichen f 0 und eine Konstante c 0,für die wir in der Regel aber + und 0 schreiben werden: L(+; 0). Bei der Sprache der Körper kommen das 2-stellige Funktionszeichen f 1 ( ) und die Konstante c 1 (1) hinzu: L(+, ;0, 1). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 18 / 81

19 Strukturen und deren zugehörige Sprachen: Beispiele (Fortsetzung) Die Sprache L der Struktur N =(N;+, ;0, 1) der natürlichen Zahlen umfasst die 2-stelligen Funktionszeichen f 0 und f 1 und die Konstanten c 0 und c 1.Wirschreibenhierfür i.a. +,, 0 und 1: L = L(+, ;0, 1). Man beachte, dass hierbei z.b. + zwei unterschiedliche Bedeutungen hat: in N ist + die Addition auf den natürlichen Zahlen; in L ist + dagegen ein Zeichen (genauer: die Abkürzung des 2-st. Funktionszeichens f 0 ). Wo diese Mehrdeutigkeit der Notation zu Missverständnissen führen kann, schreiben wir daher auch + N für die Addition auf N (und entsprechend N, 0 N,etc.). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 19 / 81

20 2.3 Prädikatenlogik: Terme Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 20 / 81

21 Terme: Vorbemerkungen Terme dienen dazu, Individuen und Funktionen auf dem Individuenbereich zu bezeichnen. Vorgehen: 1 Induktive Festlegung der Gestalt der Terme (Syntax) 2 Zuordnung der dargestellten Individuen und Funktionen (Semantik) Es ist im Folgenden L wiederum die Sprache L = L(σ) der Signatur σ =((n i i I ); (m j j J); K). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 21 / 81

22 2.3.1 Terme: Syntax Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 22 / 81

23 Induktive Definition der L(σ)-Terme (Syntax) DEFINITION. Sei L = L(σ) mitσ =((n i i I ); (m j j J); K). Die Menge der (L-)Terme ist induktiv definiert durch: (T1) Jede Variable v n (n 0) und jede Konstante c k (k K) isteinterm. (T2) Sind t 1,...,t mj Terme, so ist auch f j (t 1,...,t mj )einterm(j J). NOTATION: Terme bezeichnen wir mit s, t, s i, t i,etc. Die Terme gemäß (T1) sind die Grundterme oder atomaren Terme. V (t) bezeichnet die Menge der im Term t vorkommenden Variablen. Kommen in t keine Variablen vor (d.h. V (t) = ), so ist t ein konstanter Term. Schreiben wir t(x 1,...,x n ) statt t, sobedeutetdies,dass V (t) {x 1,...,x n } gilt (d.h. es kommen höchstens die Variablen x 1,...,x n in t vor). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 23 / 81

24 Terme: Beispiele In einer relationalen Sprache L sind die Variablen und Konstanten die einzigen Terme. Enthält eine Sprache L keine Konstanten, so besitzt sie auch keine konstanten Terme. In der Sprache der Graphen oder Ordnungen (die weder Funktionszeichen noch Konstanten besitzt) sind daher die Variablen die einzigen Terme. In der Sprache der Gruppen kann man z.b. folgenden Term bilden: t +(v 0, +(v 3, 0)) [ f 0 (v 0, f 0 (v 3, c 0 ))] wobei wir die suggestiven Abkürzungen + : f 0 und 0 : c 0 verwenden. Zur Verbesserung der Lesbarkeit benutzen wir auch die in der Algebra übliche Infixschreibweise für +, wodurch der Term t die Gestalt v 0 +(v 3 + 0) erhält. Letzteres ist aber kein Term im formalen Sinn und wird von uns nur als (informelle) Abkürzung von t verwendet. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 24 / 81

25 Terme: Beispiele (Fortsetzung) Bei der Sprache der Struktur N =(N;+, ;0, 1) der natürlichen Zahlen verwenden wir (wie bereits erwähnt) die Funktionszeichen + und anstelle der Funktionszeichen f 0 und f 1 und die Konstanten 0 und 1 an Stelle von c 0 und c 1,undwirbenutzenfür die Funktionszeichen + und die Infixschreibweise. Wiederum sind die entsprechend gebildeten Terme als abkürzende Schreibweise aufzufassen. So steht für den (abgekürzten) Term (1 + 0) (1 1) (+(1, 0), (1, 1)) und dieser wiederum für den (eigentlichen) Term f 1 (f 0 (c 1, c 0 ), f 1 (c 1, c 1 )). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 25 / 81

26 2.3.2 Terme: Semantik Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 26 / 81

27 Interpretation der L(σ)-Terme Wir wollen nun die L-Terme in den L-Strukturen interpretieren. Hierzu sei im Folgenden A =(A;(Ri A i I ); (fj A j J); (ck A k K)) eine L-Struktur, d.h. eine Struktur vom Typ σ =((n i i I ); (m j j J); K). IDEE: Konstante L-Terme werden in der L-Struktur A als Individuen interpretiert. Beliebige L-Terme werden in der L-Struktur A als Funktionen auf dem Individuenbereich interpretiert. Wir bestimmen zunächst die von konstanten Termen dargestellten Individuen, wobei wir induktiv nach dem Aufbau der Terme vorgehen (vgl. mit der syntaktischen Induktion im Teil über die Aussagenlogik). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 27 / 81

28 Interpretation konstanter Terme: Definition Konstante L-Terme werden in der L-Struktur A als Individuen interpretiert. Hierzu ordnen wir jedem konstanten Term t durch Induktion nach dem Aufbau der Terme (kurz: Ind(t)) ein Individuum t A aus A zu: DEFINITION. Für einen konstanten L-Term t ist t A A wie folgt durch Ind(t) definiert: 1 (c k ) A := c A k 2 (f j (t 1,...,t mj )) A := f A j (t A 1,...,tA m j ) Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 28 / 81

29 Interpretation konstanter Terme: Beispiele (1) Sei L die Sprache der Arithmetik. Der konstante Term t (+(1, 1), (1, 1)) erhält in der Struktur N =(N;+, ;0, 1) der natürlichen Zahlen den Wert t N = 2. Da das Zeichen 1 durch die Eins und die Funktionszeichen + und durch Addition und Multiplikation interpretiert werden, sieht man dies induktiv wie folgt: 1 N = 1 +(1, 1) N = 2 (1, 1) N = 1 t N = 2 1=2 Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 29 / 81

30 Interpretation konstanter Terme: Beispiele (2) Sei L weiterhin die Sprache der Arithmetik und N =(N;+, ;0, 1). Definiert man induktiv die konstanten Terme n (n 0) durch 0 : 0 und n +1: (n + 1), so gilt gerade n N = n. (Wirnennenn die Ziffer zur Bezeichnung der Zahl n.) Es lässt sich also jede natürliche Zahl durch einen konstanten Term der Sprache von N darstellen. Die Sprache einer Struktur erlaubt aber nicht immer, dass man alle Individuen durch konstante Terme beschreiben kann: Ersetzen wir oben N durch den Körper R =(R;+, ;0, 1) der reellen Zahlen, so lassen sich in diesem ebenfalls nur die natürlichen Zahlen durch konstante Terme darstellen. Erweitert man die Sprache um ein Zeichen für die 2-stellige Differenz bzw. ein Zeichen : für die Division, so lassen sich in R =(R;, +, ;0, 1) bzw. R =(R;, +,, :; 0, 1) gerade die ganzen bzw. rationalen Zahlen durch konstante Terme darstellen (wobei wir x :0 = 0 setzen). Betrachten wir eine Struktur ohne Konstanten, so gibt es - wie bereits beobachtet - keine konstanten Terme in der zugehörigen Sprache. Hier lässt sich also sogar überhaupt kein Individuum durch einen konstanten Term darstellen. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 30 / 81

31 Interpretation beliebiger Terme: Definition Wir betrachten nun die Interpretation beliebiger L-Terme t in der L-Struktur A. Einem Term t t(x) t(x 1,...,x n ), in dem höchstens die Variablen x 1,...,x n vorkommen, ordnen wir einen Wert aus A in Abhängigkeit von einer Belegung B der Variablen x i durch Werte a i aus A zu: DEFINITION. Sei V = {x 1,...,x n } eine Menge von Variablen und A eine L-Struktur. Eine (Variablen-)Belegung B von V in A ist eine Abbildung B : V A. DEFINITION. Sei t t(x) t(x 1,...,x n )einl-term, in dem höchstens die Variablen x 1,...,x n vorkommen, und sei B : {x 1,...,x n } A eine Belegung dieser Variablen in der L-Struktur A. DerWert tb A A von t in A bzgl. der Belegung B ist durch Ind(t) wie folgt definiert: 1 (x i ) A B := B(x i)und(c k ) A B := ca k 2 (f j (t 1,...,t mj )) A B := f A j ((t 1 ) A B,...,(t m j ) A B ) Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 31 / 81

32 Interpretation beliebiger Terme: Bemerkungen Ordnet die Belegung B von V = {x 1,...,x n } in A den Variablen x i die Individuen a i zu, so schreiben wir für t t(x 1,...,x n )statttb A auch t A B t A [B(x 1 ),...,B(x n )] t A [a 1,...,a n ]. (Diese Schreibweise wird im Skript von Gloede verwendet!) Der Term t t(x) t(x 1,...,x n )kannina also als n-stellige Funktion interpretiert werden. f A t(x) : An A mit f A t(x) (a) =ta [a] Dabei hängt der Wert von t A [a] höchstens dann von a i ab, wenn die Variable x i tatsächlich in t vorkommt (Beweis durch Ind(t); Übung!): KOINZIDENZLEMMA (für Terme). Sei A eine L-Struktur, t ein L-Term, V = {x 1,...,x m } und V = {x 1,...,x n} Variablenmengen mit V (t) V, V und B und B Belegungen von V bzw. V in A, sodass B V (t) =B V (t) gilt. Dann gilt t A B = ta B. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 32 / 81

33 Interpretation beliebiger Terme: Beispiel Der durch t : f 0 (f 1 (x 1, x 1 ), f 1 (f 0 (c 1, c 1 ), x 2 )) +( (x 1, x 1 ), (+(1, 1), x 2 )) definierte Term t der Sprache von N lässt sich in Infixschreibweise auch als t (x 1 x 1 ) + ((1 + 1) x 2 ) schreiben. Es gilt V (t) ={x 1, x 2 }.Wirkönnen t also z.b. als t t(x 1, x 2, x 3 )schreiben. Für die Belegung B(x 1 )=0, B(x 2 )=1, B(x 3 ) = 2 gilt dann t N B = (B(x 1 ) B(x 1 )) + ((1 + 1) B(x 2 )) = (0 0) + ((1 + 1) 1) = 2 Die Auswertung von t N [0, 1, 2] = tb N hängt also nicht von der Belegung B(x 3 )=2dernichtint vorkommenden Variablen x 3 ab. Die von t(x 1, x 2, x 3 ) dargestellte Funktion f N t(x 1,x 2,x 3 ) : N3 N ist: f N t(x 1,x 2,x 3 ) (a 1, a 2, a 3 )=a a 2 (a 1, a 2, a 3 N) Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 33 / 81

34 Interpretation beliebiger Terme: Weitere Bemerkungen Für einen konstanten Term t ist die Funktion ft(x A 1,...,x n ) = f t A (nach dem Koinzidenzlemma) konstant und es gilt ft A (a) =t A für alle a A n. In einer L-Struktur A lassen sich genau die Funktionen durch L-Terme darstellen, die über den Grundfunktionen und den Konstanten der Struktur explizit definierbar sind. Für die Sprache L der Arithmetik N =(N;+, ;0, 1) kann man so (durch Ausmultiplizieren und mit Hilfe der Kommutativität von + und ) zeigen, dass die durch Terme definierbaren Funktionen über N gerade die Polynome (mit Koeffizienten aus N) sind. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 34 / 81

35 2.4 Prädikatenlogik: Formeln und Sätze Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 35 / 81

36 Formeln und Sätze: Vorbemerkungen (L-)Sätze dienen dazu, Aussagen über (L-)Strukturen zu machen. Die von Formeln (auch Satzformen genannt) gemachten Aussagen hängen noch von der Interpretation der in ihnen vorkommenden freien Variablen ab, und können so auch als Relationen auf den Trägern von (L-)Strukturen interpretiert werden. Vorgehen: 1 Induktive Festlegung der Gestalt der Formeln (Syntax) 2 Interpretation der Formeln in zugehörigen Strukturen (Semantik) Es ist im Folgenden L wiederum die Sprache L = L(σ) der Signatur σ =((n i i I ); (m j j J); K). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 36 / 81

37 2.4.1 Formeln und Sätze: Syntax Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 37 / 81

38 Induktive Definition der L(σ)-Formeln DEFINITION. Sei L = L(σ) mitσ =((n i i I ); (m j j J); K). Die Menge der (L-)Formeln ist induktiv definiert durch: (F1) (a) Sind t 1, t 2 Terme, so ist t 1 = t 2 eine Formel. (b) Sind t 1,...,t ni Terme, so ist R i (t 1,...,t ni )eineformel(i I ). (F2) Ist ϕ eine Formel, so ist auch ϕ eine Formel. (F3) Sind ϕ 1 und ϕ 2 Formeln, so ist auch (ϕ 1 ϕ 2 )eineformel. (F4) Ist ϕ eine Formel und x eine Variable, so ist auch xϕ eine Formel. Die gemäß (F1) definierten Formeln heißen Primformeln oder atomare Formeln. Formeln vom Typ (F1)(a) nennt man auch Gleichheitsformeln. Formeln vom Typ (F2), (F3) und (F4) heißen Negationsformeln bzw. Disjunktionen bzw. Existenzformeln. Im Folgenden bezeichnen ϕ, ψ, γ, δ, ϕ i,... (L-)Formeln. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 38 / 81

39 Verbesserung der Lesbarkeit von Formeln ( Abkürzungen ) Zur Verbesserung der Lesbarkeit der Formeln benutzen wir folgende Konventionen und abkürzende Schreibweisen: Die Junktoren, und führen wir wie in der AL ein. Zusätzlich führen wir den Allquantor durch xϕ : x ϕ ein. Wir verwenden die schon im Teil über die Aussagenlogik eingeführten Regeln zur Klammerersparnis. Zusätzlich erlauben wir für ϕ, xϕ und xϕ auch die Schreibweise (ϕ) bzw. x(ϕ) bzw. x(ϕ). Statt t 1 = t 2 schreiben wir auch t 1 = t 2. Wo üblich benutzen wir für Funktionszeichen (wie + und ) und Relationszeichen (wie ) auch die Infixschreibweise. NB: Die derart verallgemeinerten Formeln sind keine eigentlichen Formeln und sind daher bei formaler Sichtweise (z.b. in Beweisen durch Ind(ϕ)) immer durch die entsprechenden eigentlichen Formeln zu ersetzen. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 39 / 81

40 Verbesserung der Lesbarkeit von Formeln: Beispiele Nach den gerade eingeführten Konventionen sind die folgenden (uneigentlichen) Formeln alle identisch mit der (eigentlichen) Formel ϕ ( x (x, y) y = x) : x (x y) (y = x) x(x y) (y = x) x(x y) y = x Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 40 / 81

41 Freie und gebundene Vorkommen von Variablen in Formeln Eine in einer Formel ϕ vorkommende Variable x kann frei oder (durch einen Existenzquantor ) gebunden auftreten (wobei x in einer Formel ϕ an einer Stelle frei und an einer anderen Stelle gebunden auftreten kann). Dabei ist ein Vorkommen von x in einer Formel ϕ gebunden, wenn es in einer Teilformel xψ liegt (formale Definition: nächste Folie). Wir bezeichnen mit V (ϕ), FV (ϕ) und GV (ϕ) die Mengen der in ϕ vorkommenden bzw. frei vorkommenden bzw. gebunden vorkommenden Variablen. Gilt FV (ϕ) {x 1,...,x n },soschreibenwirauchϕ(x 1,...,x n )stattϕ. DEFINITION. Kommt in einer (L-)Formel ϕ keine Variable frei vor (d.h. gilt FV (ϕ) = ), so ist ϕ ein (L-)Satz. Im Folgenden bezeichnen σ, τ, σ n etc. Sätze. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 41 / 81

42 Freie und gebundene Vorkommen von Variablen: Definition Formal definiert man das Vorkommen einer Variablen x und die freien und gebunden Vorkommen von x in einer Formel ϕ durch Ind(ϕ): 1 Die Variable x kommt in der Primformel t 1 = t 2 bzw. R i (t 1,...,t ni )vor, falls x in einem der Terme t 1, t 2 bzw. t 1,...,t ni vorkommt. Alle Vorkommen von x sind frei. 2 Die Variable x kommt in ϕ vor, wenn sie in der Formel ϕ vorkommt. Ein Vorkommen von x in ϕ ist frei (gebunden), wenn das entsprechende Vorkommen von x in ϕ frei (gebunden) ist. 3 Die Variable x kommt in der Formel (ϕ 1 ϕ 2 )vor,wennsieinderformel ϕ 1 oder in der Formel ϕ 2 vorkommt. Ein Vorkommen von x in (ϕ 1 ϕ 2 )ist frei (gebunden), wenn das entsprechende Vorkommen von x in ϕ 1 bzw. ϕ 2 frei (gebunden) ist. 4 Die Variable x kommt in der Formel yϕ vor, wenn x y oder x in der Formel ϕ vorkommt. Ist x y, so sind alle Vorkommen von x in yϕ gebunden. Sonst ist ein Vorkommen von x in yϕ frei (gebunden), wenn das entsprechende Vorkommen von x in ϕ frei (gebunden) ist. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 42 / 81

43 Freie und gebundene Vorkommen von Variablen: Beispiele In der Formel ϕ ( x (x, y) y = x) der Sprache der Ordnungen sind die ersten beiden Vorkommen der Variablen x gebunden, während das dritte Vorkommen frei ist. Weiter sind beide Vorkommen von y frei. Es gilt also V (ϕ) =FV (ϕ) ={x, y} und GV (ϕ) ={x}. In der Formel ψ y x( x (x, y) y = x) sind alle Vorkommen von x und y gebunden. ψ ist also ein Satz. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 43 / 81

44 2.4.2 Formeln und Sätze: Semantik Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 44 / 81

45 Semantik der L(σ)-Formeln: Idee Wir wollen nun zeigen, wie ein (L-)Satz σ als eine Aussage über die (L-)Struktur A interpretiert werden kann. Hierzu ordnen wir zunächst allgemeiner einer Formel ϕ, inderhöchstens die Variablen x 1,...,x n frei vorkommen, und jeder Belegung B dieser Variablen durch Individuen a 1,...,a n von A einen Wahrheitswert WB A (ϕ) zu. Wir zeigen dann, dass dieser Wert höchstens dann von B(x i )=a i abhängt, wenn x i in ϕ frei vorkommt (Koinzidenzlemma für Formeln). Ist ϕ ein Satz, so hängt die Wahrheit von ϕ also nur von der Struktur A und nicht von der gewählten Variablenbelegung B ab. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 45 / 81

46 Interpretation einer L-Formel ϕ in einer L-Struktur A DEFINITION. Sei A eine L-Struktur, ϕ ϕ(x 1,...,x n )einel-formel mit FV (ϕ) {x 1,...,x n } und B eine Belegung von {x 1,...,x n } in A. Dannistder Wahrheitswert W A B (ϕ) {0, 1} (= {FALSCH,WAHR}) von ϕ in A bzgl. der Variablenbelegung B durch Ind(ϕ) wie folgt definiert: 1 WB A(t 1 = t 2 ) = 1, g.d.w. (t 1 ) A B =(t 2) A B (für die Definition von tb A siehe Semantik der Terme). 2 W A B (R i(t 1,...,t ni )) = 1, g.d.w. ((t 1 ) A B,...,(t n i ) A B ) RA i. 3 W A B ( ψ) = 1, g.d.w. W A B (ψ) = 0. 4 W A B (ϕ 1 ϕ 2 ) = 1, g.d.w. W A B (ϕ 1)=1oderW A B (ϕ 2)=1(oderbeides). 5 W A B ( yψ) = 1, g.d.w. es eine Belegung B von {x 1,...,x n, y} gibt, die mit B auf {x 1,...,x n }\{y} übereinstimmt und für die W A B (ψ) = 1 gilt. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 46 / 81

47 Interpretation uneigentlicher Formeln Für uneigentliche Formeln ϕ ϕ(x 1,...,x n ) und Belegungen B von {x 1,...,x n } in A ergeben sich hieraus folgende Wahrheitswerte (Beweis: Übung): W A B (ϕ 1 ϕ 2 ) = 1, g.d.w. W A B (ϕ 1)=1undW A B (ϕ 2) = 1. W A B (ϕ 1 ϕ 2 ) = 1, g.d.w. W A B (ϕ 1)=0oderW A B (ϕ 2)=1(oderbeides). W A B (ϕ 1 ϕ 2 ) = 1, g.d.w. W A B (ϕ 1)=W A B (ϕ 2). W A B ( yψ) = 1, g.d.w. für alle Belegungen B von {x 1,...,x n } {y}, die mit B auf {x 1,...,x n }\{y} übereinstimmen, W A B (ψ) = 1 gilt. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 47 / 81

48 Interpretation der L-Formeln: Notation Ordnet die Belegung B den Variablen x =(x 1,...,x n )dieindividuen a =(a 1,...,a n )zu,soschreibtmanstattwb A (ϕ) =1auch A ϕ[b(x 1 ),...,B(x n )] oder kurz A ϕ[a] und sagt: A macht die Formel ϕ ϕ(x 1,...,x n ) bzgl. der Belegung a wahr (oder ϕ gilt in A bzgl. a). Entsprechend schreibt man auch A ϕ[a], fallsw A B (ϕ) = 0 gilt. (Diese Schreibweisen werden im Skript von Herrn Gloede verwendet! Im Folgenden werden wir beide Schreibweisen benutzen.) Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 48 / 81

49 Das Koinzidenzlemma (für Formeln) Der Wahrheitswert WB A (ϕ) einerformelϕ in einer Struktur A bzgl. einer Variablenbelegung B hängt nur von der Belegung der freien Variablen in ϕ ab: KOINZIDENZLEMMA (für Formeln). Sei A eine L-Struktur, ϕ eine L-Formel, V = {x 1,...,x m } und V = {x 1,...,x n} Variablenmengen mit FV (ϕ) V, V und B und B Belegungen von V bzw. V in A, sodass Dann gilt W A B (ϕ) =W A B (ϕ). B FV (ϕ) =B FV (ϕ). BEWEIS. Induktion nach dem Aufbau von ϕ (wobei man für Primformeln ϕ natürlich das Koinzidenzlemma für Terme verwendet). Übung! Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 49 / 81

50 Wahrheit und Modelle von Sätzen Nach dem Koinzidenzlemma hängt der Wahrheitswert eines Satzes σ in einer Struktur A nicht von der gewählten Variablenbelegung ab: Da σ keine freien Variablen enthält (d.h. FV (σ) = ), gilt für alle Variablenbelegungen B und B beliebiger Variablenmengen V und V in A: W A B (σ) =W A B (σ) DEFINITION. Ein L-Satz σ ist in einer L-Struktur A wahr, wennwb A (σ) =1für die leere Variablenbelegung gilt (d.h. für die eindeutig bestimmte Belegung B der leeren Menge ). NOTATION. Ist ein Satz σ in der Struktur A wahr, so schreiben wir und sagen, dass A ein Modell von σ ist. A σ Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 50 / 81

51 Wahrheit und Modelle von Formeln: Idee In der Mathematik ist es üblich, bei Aussagen mit freien Variablen anzunehmen, dass die freien Variablen implizit allquantifiziert sind. So wird z.b. die Aussage, dass jede von der Null verschiedene natürliche Zahl Nachfolger einer natürlichen Zahl ist, durch die Formel ausgedrückt, wobei diese als x = 0 y (x = y + 1) x (x = 0 y (x = y + 1)) gelesen wird. Diese Konvention führt zu folgender Erweiterung des Wahrheitsund Modellbegriffs für Sätze auf beliebige Formeln: Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 51 / 81

52 Wahrheit und Modelle von Formeln: Definition DEFINITION. Eine L-Formel ϕ ist in einer L-Struktur A wahr, wennwb A für alle Variablenbelegungen von FV (ϕ) gilt. (ϕ) =1 Ist eine Formel ϕ in der Struktur A wahr, so schreiben wir A ϕ und sagen, dass A ein Modell von ϕ ist. NB: Ist ϕ ein Satz, so stimmt diese Definition mit der zuvor für Sätze gegebene Definition der Wahrheit in einer Struktur überein. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 52 / 81

53 Wahrheit von Formeln vs. Wahrheit von Sätzen: Allabschluss DEFINITION. Der Allabschluss ϕ einer Formel ϕ, inderdievariablenx 1,...,x n frei vorkommen, ist der Satz ϕ : x 1... x n ϕ, wobei wir davon ausgehen, dass die Variable x 1,...,x n geordnet bzgl. der Aufzählung aller Variablen sind. NB: Für einen Satz σ gilt σ σ. SATZ ÜBER DEN ALLABSCHLUSS. A ϕ A ϕ BEWEIS: Übung! Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 53 / 81

54 Wahrheit von Formeln vs. Wahrheit von Sätzen: Bemerkungen Man beachte, dass nach Definition der Wahrheitswerte WB A (ϕ) unddem Koinzidenzlemma, für einen L-Satz σ und eine L-Struktur A entweder A σ oder A σ gilt. Für eine Formel ϕ mit freien Variablen, können wir dagegen i.a. nur feststellen, dass nicht gleichzeitig A ϕ und A ϕ gelten kann. Hier ist jedoch möglich, dass weder A ϕ noch A ϕ gilt. Der Grund hierfür ist, dass ϕ nicht als Negation von ϕ interpretiert wird, sondern ϕ als ϕ und ϕ als ϕ. Hierbeiist ϕ nicht zur Negation von ϕ (nämlich ϕ) äquivalent. Zum Beispiel gilt für die Formel ϕ x = y: A (x = y) für alle Strukturen A A x = y für alle Strukturen A, derenträger zumindest 2 Elemente enthält Für A mit A 2 gilt also weder A ϕ noch A ϕ. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 54 / 81

55 Durch Formeln dargestellte Relationen Wir beenden die Diskussion des Interpretationsbegriffs in der Prädikatenlogik mit der Beobachtung, dass L-Formeln Relationen auf den L-Strukturen A definieren: DEFINITION. Sei ϕ ϕ(x 1,...,x n )einel-formel mit FV (ϕ) {x 1,...,x n }. Die von ϕ auf der L-Struktur A definierte n-stellige Relation Rϕ A ist durch bestimmt. (a 1,...,a n ) R A ϕ A ϕ[a 1,...,a n ] BEISPIEL. In der Sprache von N =(N;+, ;0, 1) wird die Menge der geraden Zahlen durch die Formel ϕ(x) y(x = (1 + 1) y) und die Teilbarkeitsrelation (x teilt y) durch die Formel definiert. ψ(x, y) x = 0 z(x z = y) Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 55 / 81

56 2.5 Prädikatenlogik: Zentrale semantische Konzepte Allgemeingültigkeit, Erfüllbarkeit und Folgerungbegriff: Definition und Eigenschaften Beispiele: Aussagenlogik vs. Prädikatenlogik Beispiele: Gleichheitsformeln Beispiele: Existenzformeln und deren Instanzen Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 56 / 81

57 2.5.1 Allgemeingültigkeit, Erfüllbarkeit und Folgerungbegriff: Definition und Eigenschaften Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 57 / 81

58 Zentrale semantische Konzepte: Vorbemerkungen Nachdem wir die Syntax und Semantik der Sprachen der Prädikatenlogik eingeführt haben, können wir nun die zentralen (semantischen) Begriffe der Prädikatenlogik (Allgemeingültigkeit, Erfüllbarkeit, Folgerung, Äquivalenz) vorstellen. Diese zentralen Begriffe werden entsprechend wie in der Aussagenlogik definiert, wobei wir aber statt von der Wahrheit einer (al.) Formel bzgl. einer Belegung der Aussagenvariablen nun von der Wahrheit einer (pl.) Formel in einer Struktur ausgehen. (Wir halten hierbei immer noch eine Sprache L = L((R i i I ), (f j j J), (c k k K)) vom Typ σ(l) =((n i i I ), (m j j J), K) der Prädikatenlogik fest, und meinen im Folgenden mit einer Struktur A immer eine L-Struktur.) Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 58 / 81

59 Allgemeingültigkeit und Erfüllbarkeit: Definition DEFINITION. Eine Formel ϕ ist (logisch) wahr oder allgemeingültig, wenn alle L-Strukturen Modell von ϕ sind, d.h. wenn gilt. Für alle L-Strukturen A: A ϕ DEFINITION. (a) Eine Formel ϕ ist erfüllbar, wennϕ ein Modell besitzt, d.h. wenn Es gibt eine L-Struktur A mit A ϕ gilt. Andernfalls ist ϕ unerfüllbar. (b) Eine Menge Φ von L-Formeln ist erfüllbar, wenneseinel-struktur A gibt, die Modell aller Formeln in Φ ist. Ist eine L-Struktur A Modell aller Formeln in einer Formelmenge Φ, so nennen wir A ein Modell von Φ und schreiben A Φ. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 59 / 81

60 Allgemeingültigkeit vs. Erfüllbarkeit Ähnlich wie in der Aussagenlogik beobachtet man die folgenden Zusammenhänge zwischen Allgemeingültigkeit und Erfüllbarkeit: Jede allgemeingültige Formel ist erfüllbar. Die Umkehrung hiervon gilt i.a. nicht. So ist z.b. die L-Formel ϕ x = y erfüllbar, da sie in allen L-Strukturen A mit A = 1 gilt. Sie ist jedoch nicht allgemeingültig, da sie in L-Strukturen A mit A > 1 nicht gilt. Ein L-Satz σ ( σ) ist genau dann allgemeingültig, wenn σ (σ) unerfüllbar ist. BEWEIS. Dies folgt aus der Tatsache, dass in jeder L-Struktur A entweder der Satz σ oder der Satz σ gilt. Für beliebige Formeln ϕ folgt zwar aus der Allgemeingültig von ϕ auch die Unerfüllbarkeit von ϕ. Die Umkehrung gilt aber i.a. nicht. So ist für die Formel ϕ x = y die Negation ϕ x = y nicht erfüllbar, ϕ aber nicht allgemeingültig (s.o.). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 60 / 81

61 Erfüllbarkeit von Formeln vs. Erfüllbarkeit von Formelmengen Die leere Formelmenge ist erfüllbar. Ist eine nichtleere Formelmenge Φ erfüllbar, so sind alle Formeln in Φ erfüllbar, da A Φ ϕ Φ: A ϕ Die Umkehrung gilt jedoch i.a. nicht. So sind die Formeln ϕ 1 x y (x = y) undϕ 2 x y (x = y) beide erfüllbar. Die Modelle von ϕ 1 und ϕ 2 sind aber gerade die Strukturen mit einem Individuum bzw. mit mindestens zwei Individuen, sodass ϕ 1 und ϕ 2 kein gemeinsames Modell besitzen. Die Formelmenge Φ = {ϕ 1,ϕ 2 } ist also unerfüllbar. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 61 / 81

62 Folgerung und Äquivalenz: Definition DEFINITION. Eine (L-)Formel ϕ folgt aus einer (L-)Formel ψ (ψ ϕ), wenn jedes Modell von ψ auch ein Modell von ϕ ist, d.h. wenn Für alle L-Strukturen A: A ψ A ϕ gilt. ϕ und ψ sind äquivalent (ϕ äq ψ), falls ϕ aus ψ und ψ aus ϕ folgt (also ϕ und ψ dieselben Modelle besitzen). Der Folgerungsbegriff lässt sich auf Formelmengen erweitern: DEFINITION. Eine (L-)Formel ϕ folgt aus einer Menge Φ von (L-)Formeln (Φ ϕ), wenn jedes Modell von Φ auch ein Modell von ϕ ist, d.h. wenn gilt. Für alle L-Strukturen A: A Φ A ϕ Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 62 / 81

63 Folgerungsbegriff: Bemerkungen und Beobachtungen (1) NOTATION: Für nichtleeres endliches Φ = {ϕ 1,...,ϕ n } schreiben wir statt Φ ϕ auch ϕ 1,...,ϕ n ϕ. Entsprechend schreiben wir statt ϕ auch kurz ϕ. NB: Dies ist konsistent mit der zuvor eingeführten Schreibweise ϕ für allgemeingültiges ϕ: jede L-Struktur A ist ein Modell der leeren Formelmenge, weshalb ϕ genau dann aus der leeren Formelmenge folgt, wenn ϕ allgemeingültig ist. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 63 / 81

64 Folgerungsbegriff: Bemerkungen und Beobachtungen (2) EINFACHE FAKTEN: MONOTONIE DES FOLGERUNGSBEGRIFFS: Φ Ψ&Φ ϕ Ψ ϕ VERTRÄGLICHKEIT VON UND : ϕ 1,...,ϕ n σ ϕ 1 ϕ n σ (ϕ 1 ϕ n ) σ Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 64 / 81

65 Zusammenhang zw. Folgerungsbegriff und Erfüllbarkeit Rückführung der Erfüllbarkeit auf den Folgerungsbegriff: LEMMA. Eine L-Formelmenge Φ is genau dann erfüllbar, wenn es keinen L-Satz σ mit Φ σ und Φ σ gibt. Rückführung des Folgerungsbegriffs auf die Erfüllbarkeit: LEMMA (Zusammenhang zwischen Folgerungs- und Erfüllbarkeitsbegriff). Für jede L-Formelmenge Φ und jeden L-Satz σ gilt: BEWEIS. Φ σ Φ { σ} unerfüllbar Φ σ A : A Φ Aσ (nach Definition) A : A Φ A σ (da entweder A σ oder A σ ) A : A Φ&A σ Φ { σ} unerfüllbar (nach Definition) Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 65 / 81

66 Allgemeingültigkeit und Folgerungsbegriff: Beispiele In den folgenden Unterabschnitten betrachten wir noch Beispiele für allgemeingültige Formeln (und korrekte Folgerungen): Junktoren: aussagenlogische Gültigkeit vs. prädikatenlogische Gültigkeit Gleichheitszeichen: allgemeingültige Aussagen über die Gleichheit (Gleichheitsformeln) Existenzquantor: allgemeingültige Aussagen über Existenzformeln und deren Instanzen Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 66 / 81

67 2.5.2 Beispiele: Aussagenlogik vs. Prädikatenlogik Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 67 / 81

68 Aussagenlogische Gültigkeit: Aussagenlogische Belegungen Eine Formel ϕ ist elementar, falls ϕ atomar oder eine Existenzformel ϕ xψ ist. Elementare Formeln lassen sich aussagenlogisch nicht weiter zerlegen, spielen daher in PL die Rolle der Aussagenvariablen in AL. Eine aussagenlogische Belegung B von L ist eine Abbildung B : {ϕ : ϕ elementar} {0, 1}. Eine al. Belegung B lässt sich induktive wie folgt auf alle Formeln fortsetzen: B( ϕ) :=1 B(ϕ) B(ϕ 1 ϕ 2 ):=max(b(ϕ 1 ), B(ϕ 2 )) Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 68 / 81

69 Aussagenlogische Gültigkeit: Tautologien DEFINITION. Eine Formel ϕ ist eine Tautologie (oder aussagenlogisch gültig, AL ϕ), falls B(ϕ) =1für alle al. Belegungen B gilt. Intuitiv: Eine prädikatenlogische Formel ϕ ist aussagenlogisch gültig, wenn die aussagenlogische Formel ϕ AL,diemanausϕ erhält indem man alle elementare Formeln durch Aussagenvariablen ersetzt, allgemeingülting (in AL) ist.) TAUTOLGIELEMMA. Jede Tautologie ist allgemeingültig: AL ϕ ϕ Die Umkehrung des Tautologielemmas gilt i.a. nicht. So ist z.b. die elementare Formel x (x = x) allgemeingültig, wogegen keine elementare Formel aussagenlogisch gültig ist. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 69 / 81

70 Beweis des Tautologielemmas: elementare Teilformeln Zum Beweis des Tautologielemmas definieren wir zunächst die Menge ETF (ϕ) der elemetaren Teilformeln einer Formel ϕ durch Ind(ϕ): Ist ϕ elementar, so ist ETF (ϕ) ={ϕ}. Ist ϕ die Negationsformel ϕ ψ, so ist ETF (ϕ) = ETF (ψ). Ist ϕ die Disjunktionsformel ϕ ϕ 1 ϕ 2,soist ETF (ϕ) =ETF (ϕ 1 ) ETF (ϕ 2 ). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 70 / 81

71 Beweis des Tautologielemmas: Hilfssatz HILFSSATZ. Sei A eine L-Struktur und sei B : {v 1, v 2, v 3,...} A eine Belegung aller Individuenvariablen in A. Dann gibt es eine aussagenlogische Belegung B von L, für die für alle L-Formeln ϕ gilt. ( ) W A B (ϕ) =B (ϕ) BEWEIS. Definiere B durch B (ψ) :=WB A (ψ) für jede elementare Formel ψ. Die Behauptung ( ) folgt dann einfach durch Ind(ϕ). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 71 / 81

72 Beweis des Tautologielemmas: Kern des Beweise Der Beweis ist durch Kontraposition: Annahme: ϕ sei nicht allgemeingültig. Dann gibt es eine L-Struktur A und eine Belegung B : FV (ϕ) A der in ϕ vorkommenden freine Variablen in A, sodasswb A (ϕ) = 0. Setzt man B beliebig zu einer Belegung ˆB aller Variablen fort, so gilt nach dem Koinzidenzlemma weiterhin, dass WB A (ϕ) = 0. Nach dem Hilffsatz gibt es nun eine aussagenlogische Belegung ˆB von L, sodass ˆB (ϕ) =WB A (ϕ) = 0. Folglich ist ϕ keine Tautologie. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 72 / 81

73 Aussagenlogische Folgerungen DEFINITION. Eine Formel ϕ ist eine aussagenlogische Folgerung aus den Formeln ϕ 1,...,ϕ n ( ϕ 1,...,ϕ n AL ϕ), falls für alle al. Belegungen B gilt: B(ϕ 1 )= = B(ϕ n )=1 B(ϕ) =1 LEMMA ÜBER AL. FOLGERUNGEN: ϕ 1,...,ϕ n AL ϕ ϕ 1,...,ϕ n ϕ BEWEIS: ϕ 1,...,ϕ n AL ϕ ϕ 1 AL ϕ 1 ϕ n ϕ ϕ 1 ϕ n ϕ (Tautologielemma) ϕ 1,...,ϕ n ϕ Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 73 / 81

74 2.5.3 Beispiele: Gleichheitsformeln Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 74 / 81

75 Allgemeingültige Gleichheitsformeln LEMMA. Die folgenden Formeln sind allgemeingültig: 1 γ 1 x = x 2 γ 2 x = y y = x 3 γ 3 x = y y = z x = z 4 γ 4 x 1 = y 1... x mj = y mj f j (x 1,...,x mj )=f j (y 1,...,y mj ) 5 γ 5 x 1 = y 1... x ni = y ni R i (x 1,...,x ni ) R i (y 1,...,y ni ) BEWEIS: Da die Beweis sehr ähnlich sind, zeigen wir hier nur die Allgemeingültigkeit von γ 4 (andere Formeln: Übung). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 75 / 81

76 Allgemeingültigkeit von γ 4 Die Allgemeingültigkeit von γ 4 x 1 = y 1... x mj = y mj f j (x 1,...,x mj )=f j (y 1,...,y mj ) zeigt man wie folgt: Gegeben: L-Struktur A und Belegung B : {x 1,...,x mj, y 1,...,y mj } A. Zu zeigen: W A B (γ 4) = 1. Gilt W A B (x 1 = y 1... x mj = y mj ) = 0, so ist die Behauptung trivial. Also o.b.d.a. W A B (x 1 = y 1... x mj = y mj )=1. Es folgt: W A B (x p = y p )=1für p =1,...m j. Also nach Definition von W A B :(x p) A B =(y p) A B für p =1,...m j. Mit der Definition von t A B folgt: f j (x 1,...,x mj ) A B = f A ((x 1 ) A B,...,(x m j ) A B ) = f A ((y 1 ) A B,...,(y m j ) A B ) = f j(y 1,...,y mj ) A B Mit der Definition von W A B folgt W A B (f j(x 1,...,x mj )=f j (y 1,...,y mj )) = 1 und hieraus W A B (γ 4) = 1. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 76 / 81

77 2.5.4 Beispiele: Existenzformeln und deren Instanzen Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 77 / 81

78 Existenzformeln und deren Instanzen: Substitution SUBSTITUTION: Ersetzen wir in einer Formel ϕ alle freien Vorkommen der Variablen x durch den Term t, so bezeichnen wir das Ergebnis dieser Substitution mit ϕ[t/x]. INSTANZEN EINER EXISTENZFORMEL: Unter den Instanzen einer Existenzformel ϕ versteht man die Formeln ϕ[t/x], wobei t ein konstanter Term ist. Anschaulich klar ist, dass die Wahrheit einer Instanz ϕ[t/x] ineinerstruktura (bezüglich einer Belegung B) die Wahrheit der Existenzformel xϕ in A (bezüglich B) impliziert. (Die Umkehrung braucht im Allgemeinen nicht gelten, da möglicherweise nicht jedes Indviduum von A durch einen konstanten Term dargestellt werden kann.) Wir werden dies im folgenden formal beweisen, wobei wir sogar beliebige Terme t zulassen, solange es nicht durch eine Bindung der in t vorkommenden Variablen zu einer Sinnentstellung kommen kann. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 78 / 81

79 Das Substitutionslemma SUBSTITUIERBARKEITSBEDINGUNG (SB): Ein Term t heisst in einer Formel ϕ für die Variable x substituierbar, wennkeineint vorkommende Variable y = x in ϕ gebunden vorkommt. SUBSTITUTIONSLEMMA. Sei der Term t für die Variable x in der Formel ϕ substituierbar. Dann ist ϕ[t/x] xϕ allgemeingültig. BEMERKUNG. Die Substituierbarkeitsbedingung ist notwendig: Für ist die Formel t y und ϕ y(x = y) ϕ[t/x] xϕ y(y = y) x y(x = y) nicht allgemeingültig (sie gilt nämlich in keiner Struktur mit mehr als einem Individuum). Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 79 / 81

80 Beweis des Substitutionslemmas: Aufgabenstellung Annahmen: Keine in t vorkommende Variable y = x kommt in ϕ gebunden vor (=SB). FV (ϕ) V (t) {x, x 1,...,x n } (wobei x, x 1,...,x n paarweise verschieden) A sei eine L-Struktur und B eine Belegung B : {x, x 1,...,x n } A Zu zeigen: (*) W A B Vorüberlegungen: (ϕ[t/x] xϕ) =1 Da WB A (ϕ[t/x] xϕ) = 1 genau dann gilt, wenn WB A(ϕ[t/x]) W B A ( xϕ) gilt, folgt die Behauptung (*) aus (ϕ[t/x]) = 0 trivialerweise. W A B Gilt x FV (ϕ), so gilt ϕ[t/x] ϕ und es gilt WB A(ϕ) =W B A auch WB A(ϕ[t/x]) = W B A ( xϕ) und daher (*). ( xϕ), also Wir können also o.b.d.a. zusätzlich annehmen, dass WB A (ϕ[t/x]) = 1 und x FV (ϕ) gilt, und müssen dann WB A ( xϕ) = 1 zeigen. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 80 / 81

81 Beweis des Substitutionslemmas: Aufgabenstellung neu Annahmen (aktualisiert): Keine in t vorkommende Variable y = x kommt in ϕ gebunden vor (=SB). x FV (ϕ) &FV (ϕ) V (t) {x, x 1,...,x n } (wobei x, x 1,...,x n paarweise verschieden) AL-Struktur und B Belegung B : {x, x 1,...,x n } A mit W A B (ϕ[t/x]) = 1 Zu zeigen (aktualisiert): (**) WB A ( xϕ) =1 Nach Definition des Wahrheitsbegriffs genügt es eine Belegung B : {x, x 1,...,x n } A anzugeben mit B (x i )=B(x i ), für die ( ) WB A (ϕ) =1gilt. Definiere solch eine Belegung durch B (x) =t A B (und B (x i )=B(x i )). Zum Nachweis von ( ) genügt es wegen WB A Annahme!) zu zeigen: W A B (ϕ) =W A B (ϕ[t/x]) (ϕ[t/x]) = 1 (nach Dies zeigt man aber leicht durch Ind(ϕ) (unter Verwendung von (SB)), nachdem man zuvor (für beliebige Terme ˆt) ˆt B A = ˆt[t/x] A B durch Ind(ˆt) gezeigt hat): Übung. Mathematische Logik (WS 2012/13) Kap. 2: Prädikatenlogik 1. Stufe 81 / 81