Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen
|
|
- Walter Junge
- vor 7 Jahren
- Abrufe
Transkript
1 Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen Barbara König Übungsleitung: Christoph Blume Barbara König Logik 1
2 Motivation: Wir beschäftigen uns nun im folgenden mit der, die gegenüber der Aussagenlogik folgendes erlaubt: Man kann über ein beliebiges Universum (= Grundmenge) und dessen Elemente Aussagen machen. Man kann quantifizieren: für alle x gilt... ; es gibt ein x, so dass... Es gibt mehrstellige Prädikatsymbole (interpretiert als Relationen) und mehrstellige Funktionssymbole (interpretiert als Funktionen). Der Aufbau dieses Kapitels ist ähnlich wie bei der Aussagenlogik: wir beginnen mit Grundbegriffen (Syntax, Semantik, Gültigkeit, Erfüllbarkeit), Äquivalenz und Normalformen, und beschäftigen uns dann mit der Resolution. Barbara König Logik 123
3 Syntax der : Variablen, Terme Definition (Syntax der ) Eine Variable hat die Form x i mit i = 1, 2, Ein Prädikatensymbol hat die Form Pi k und ein Funktionssymbol hat die Form fi k mit i = 1, 2, 3... und k = 0, 1, Hierbei heißt i jeweils der Unterscheidungsindex und k die Stelligkeit (oder Stellenzahl). Wir definieren nun die Terme durch einen induktiven Prozess: 1 Jede Variable ist ein Term. 2 Falls f ein Funktionssymbol mit der Stelligkeit k ist, und falls t 1,..., t k Terme sind, so ist auch f (t 1,..., t k ) ein Term. Barbara König Logik 124
4 Syntax der : Variablen, Terme Bemerkungen zur Syntax der : Es sind auch Funktionssymbole der Stelligkeit 0 eingeschlossen, und in diesem Fall fallen die Klammern weg, d.h., statt c() schreiben wir nur c. Nullstellige Funktionssymbole heißen auch Konstanten(-symbole). Genauso gibt es nullstellige Prädikatsymbole der Form P() bzw. einfach nur P. Barbara König Logik 125
5 Syntax der : Variablen, Terme Weitere Bemerkungen: Für Variablen schreiben wir auch x, y, z, u, v, w,... Für Prädikatsymbole schreiben wir auch P, Q, R, S,... (die Stelligkeit ergibt sich dann aus dem Kontext). Für Funktionssymbole schreiben wir auch f, g, h,... (die Stelligkeit ergibt sich dann ebenfalls aus dem Kontext). Für Konstanten(-symbole) schreiben wir auch a, b, c, d,... Barbara König Logik 126
6 Syntax der : Formeln Nun können wir (wiederum induktiv) definieren, was Formeln (der ) sind. 1 Falls P ein Prädikatsymbol der Stelligkeit k ist, und falls t 1,..., t k Terme sind, dann ist P(t 1,..., t k ) eine Formel. 2 Für jede Formel F ist auch F eine Formel. 3 Für alle Formeln F und G sind auch (F G) und (F G) Formeln. 4 Falls x eine Variable ist und F eine Formel, so sind auch xf und xf Formeln. Das Symbol wird Existenzquantor und Allquantor genannt. Barbara König Logik 127
7 Syntax der : Formeln Bemerkungen: Atomare Formeln nennen wir genau die, die Form P(t 1,..., t n ) haben (gemäß (1)). Falls F eine Formel ist und F als Teil einer Formel G auftritt, so heißt F Teilformel von G. Quantoren binden stärker als alle anderen Operatoren, d.h., Formeln werden folgendermaßen geklammert: xp(x) Q(y) entspricht ( xp(x)) Q(y) P(x) yq(y) R(z) entspricht P(x) ( yq(y)) R(z) Barbara König Logik 128
8 Freie und gebundene Variablen Definition (Freie und gebundene Variable) Alle Vorkommen von Variablen in einer Formel werden in freie und gebundene Vorkommen unterteilt. Dabei heißt ein Vorkommen der Variablen x in der Formel F gebunden, falls F eine Formel der Form xg oder xg enthält und x in G vorkommt. Andernfalls heißt dieses Vorkommen von x frei. Eine Formel ohne Vorkommen einer freien Variablen heißt geschlossen oder eine Aussage. Barbara König Logik 129
9 Freie und gebundene Variablen Beispiele für freie und gebundene Variable: xp(x): in dieser Formel kommt x gebunden vor. xq(x, y): in dieser Formel kommt x gebunden und y frei vor. ( xp(x)) R(x): in dieser Formel hat x sowohl ein gebundenes als auch ein freies Vorkommen. x(( xp(x)) R(x)): in dieser Formel ist das erste Vorkommen von x unter dem inneren und das zweite Vorkommen unter dem äußeren Quantor gebunden. Definition (Matrix) Die Matrix einer Formel F ist diejenige Formel, die man aus F erhält, indem jedes Vorkommen von bzw., samt der dahinterstehenden Variablen gestrichen wird. Symbolisch bezeichnen wir die Matrix der Formel F mit F. Barbara König Logik 130
10 Aufgabe zur NF: Keine Formel F: Formel, aber nicht Aussage A: Aussage P(x) xp(a) x y(q(x, y) R(x, y)) xq(x, x) xq(x, y) xp(x) xq(x, x) P(x) P(x) x NF F A Barbara König Logik 131
11 Aufgabe zur NF: Keine Formel F: Formel, aber nicht Aussage A: Aussage x yq(x, y) R(x, y) z(q(z, x) R(y, z)) y(r(x, y) Q(x, z)) x( P(x) P(a)) P(x) xp(x) x y((p(y) Q(x, y)) P(x)) NF F A Barbara König Logik 132
12 Semantik der : Strukturen Definition (Struktur) Eine Struktur ist ein Paar A = (U A, I A ) wobei U A eine beliebige aber nicht-leere Menge ist, die die Grundmenge von A (oder der Grundbereich, der Individuenbereich, das Universum) genannt wird. Ferner ist I A eine Abbildung, die jedem k-stelligen Prädikatensymbol P (das im Definitionsbereich von I A liegt) eine k-stellige Relation (bzw. ein k-stelliges Prädikat) über U A zuordnet, jedem k-stelligen Funktionssymbol f (das im Definitionsbereich von I A liegt) eine k-stellige Funktion auf U A zuordnet, jeder Variablen x (sofern I A auf x definiert ist) ein Element der Grundmenge U A zuordnet. Barbara König Logik 133
13 Semantik der : Strukturen Bemerkungen zu Strukturen: Eine Struktur ist das analoge Konzept zu Belegungen in der Aussagenlogik. Die den Funktionssymbolen zugeordneten Funktionen können folgendermaßen dargestellt werden: sei f ein n-stelliges Funktionssymbol, dann schreiben wir f A = I A (f ) mit f A : UA n U A (a 1,..., a n ) f A (a 1,..., a n ), beispielsweise die einstellige Nachfolgerfunktion auf den natürlichen Zahlen (U A = N): f A : N N n n + 1 Barbara König Logik 134
14 Semantik der : Strukturen Die den Prädikatsymbolen zugeordneten Relationen können folgendermaßen dargestellt werden: sei P ein n-stelliges Prädikatsymbol, dann schreiben wir P A = I A (P) mit P A UA n = U A U } {{ A } n-mal P A = {(a 1,..., a n ) a 1,..., a n U A und... } beispielsweise die zweistellige -Relation auf den natürlichen Zahlen: P A N N P A = {(n, m) n, m N, n m} Barbara König Logik 135
15 Semantik der : Strukturen Definition (Passende Struktur) Sei F eine Formel und A = (U A, I A ) eine Struktur. A heißt zu F passend, falls I A für alle in F vorkommenden Prädikatsymbole, Funktionssymbole und freien Variablen definiert ist. Der Definitionsbereich von I A ist also eine Teilmenge von {Pi k, fi k, x i i = 1, 2, 3,... und k = 0, 1, 2,...} (wobei alle Prädikatsymbole, Funktionssymbole und freien Variablen von F vorkommen) und der Wertebereich (bzw. Bildbereich) von I A ist eine Teilmenge aller Relationen und Funktionen auf U A, sowie der Elemente von U A. Wir schreiben abkürzend statt I A (P) einfach P A, statt I A (f ) einfach f A und statt I A (x) einfach x A. Barbara König Logik 136
16 Semantik der : Strukturen Definition (Wert eines Terms) Sei F eine Formel und A eine zu F passende Struktur. Für jeden Term t, den man aus den Bestandteilen von F bilden kann (also aus den freien Variablen und Funktionssymbolen), definieren wir nun den Wert von t in der Struktur A, den wir mit A(t) bezeichnen. Die Definition ist wieder induktiv. 1 Falls t eine Variable ist (also t = x), so ist A(t) = x A. 2 Falls t die Form t = f (t 1,..., t k ) hat, wobei t 1,..., t k Terme und f ein k-stelliges Funktionssymbol ist, so ist A(t) = f A (A(t 1 ),..., A(t k )). Fall (2) schließt auch die Möglichkeit ein, dass f nullstellig ist, d.h., t die Form hat t = a. In diesem Fall ist also A(t) = a A. Barbara König Logik 137
17 Semantik der : Strukturen Auf analoge Weise definieren wir (induktiv) den (Wahrheits-)Wert der Formeln F unter der Struktur A, wobei wir ebenfalls die Bezeichnung A(F ) verwenden. Definition (Wahrheitswert einer Formel) Falls F die Form F = P(t 1,..., t k ) hat mit den Termen t 1,..., t k und k-stelligem Prädikatsymbol P, so ist { 1, falls (A(t1 ),..., A(t A(F ) = k )) P A 0, sonst Falls F die Form F = G hat, so ist { 1, falls A(G) = 0 A(F ) = 0, sonst Barbara König Logik 138
18 Semantik der : Strukturen Falls F die Form F = (G H) hat, so ist { 1, falls A(G) = 1 und A(H) = 1 A(F ) = 0, sonst Falls F die Form F = (G H) hat, so ist { 1, falls A(G) = 1 oder A(H) = 1 A(F ) = 0, sonst Barbara König Logik 139
19 Semantik der : Strukturen Falls F die Form F = xg hat, so ist { 1, falls für alle d UA gilt: A A(F ) = [x/d] (G) = 1 0, sonst Falls F die Form F = xg hat, so ist { 1, falls es ein d UA gibt mit: A A(F ) = [x/d] (G) = 1 0, sonst Hierbei steht A [x/d] für diejenige Struktur A, die überall mit A identisch ist, bis auf die Definition von x A. Wir definieren x A = d, wobei d U A = U A unabhängig davon, ob I A auf x definiert ist oder nicht. Barbara König Logik 140
20 Modell, Gültigkeit, Erfüllbarkeit Definition (Modell) Falls für eine Formel F und eine zu F passende Struktur A gilt A(F ) = 1, so schreiben wir wieder A = F. Sprechweise: F gilt in A oder A ist Modell für F. Gültigkeit, Erfüllbarkeit, Unerfüllbarkeit Falls jede zu F passende Struktur ein Modell für F ist, so schreiben wir = F, andernfalls = F. Sprechweise: F ist (allgemein-)gültig. Falls es mindestens ein Modell für die Formel F gibt, so heißt F erfüllbar, andernfalls unerfüllbar. Barbara König Logik 141
21 Aufgabe zu Erfüllbarkeit und Gültigkeit Folgende Formeln sind erfüllbar, aber nicht gültig. Finden Sie jeweils eine Struktur, die ein Modell für die Formel ist, und eine Struktur, die kein Modell für die Formel ist. 1 F = xp(x) 2 G = x yq(x, f (y)) Barbara König Logik 142
22 Aufgabe zu Erfüllbarkeit und Gültigkeit Modell A für F = xp(x): Universum U A = N P A = N (das ist die einzige mögliche Interpretation von P, die zu einem Modell führt) Struktur, die kein Modell für F = xp(x) ist: Universum U B = N P B = {n n gerade} Barbara König Logik 143
23 Aufgabe zu Erfüllbarkeit und Gültigkeit Modell A für G = x yq(x, f (y)) Universum U A = N Q A = {(n, m) n < m} f A : N N mit f A (n) = n + 1 Struktur, die kein Modell für G = x yq(x, f (y)) ist: Universum U B = N Q B = {(n, m) n < m} f B : N N mit f B (n) = 1 Bemerkung: diese Strukturen sind natürlich keineswegs die einzigen Beispiele für Modelle bzw. Nicht-Modelle von F, G. Barbara König Logik 144
24 Aufgabe zu Erfüllbarkeit und Gültigkeit G: Gültig E: Erfüllbar U: Unerfüllbar xp(a) x( P(x) P(a)) P(a) xp(x) xp(x) xp(x) xp(x) yp(y) xp(x) xp(f (x)) G E U Barbara König Logik 145
25 mit Gleichheit Bei mit Gleichheit sind Formeln genauso aufgebaut, wie bei herkömmlicher, mit dem Unterschied, dass es ein spezielles Prädikat = gibt, das in Infix-Notation verwendet wird. Das heißt, zur Definition der Syntax wird folgender Satz hinzugefügt: Falls t 1, t 2 Terme sind, dann ist (t 1 = t 2 ) eine Formel. Außerdem steht (t 1 t 2 ) für (t 1 = t 2 ). Und die Definition des Wahrheitswert einer Formel wird folgendermaßen ergänzt: Falls F die Form F = (t 1 = t 2 ) hat mit den Termen t 1, t 2, so ist { 1, falls A(t1 ) = A(t A(F ) = 2 ) 0, sonst Barbara König Logik 146
26 Aufgabe zu Erfüllbarkeit und Gültigkeit G: Gültig E: Erfüllbar U: Unerfüllbar x y z(x y y z x z) x y(x = y f (x) = f (y)) x y(f (x) = f (y) x = y) x y z(f (x) = y f (x) = z y z) G E U Barbara König Logik 147
27 Tarski s World Tarski s World Tarski s World ist eine Lehrsoftware für, entworfen von Jon Barwise und John Etchemendy. Dabei werden die Formeln auf einem Schachbrett evaluiert, auf dem sich Tetraeder, Würfel und Dodekaeder in drei Größen (small, medium, large) befinden können. Gegenüber der allgemeinen gibt es sowohl Einschränkungen an die Syntax von Formeln als auch an die zulässigen Strukturen. Ob eine Formel für eine bestimmte Welt gilt (oder nicht), kann in einem Spiel gegen den Rechner intuitiv veranschaulicht werden. Barbara König Logik 148
28 Tarski s World Screenshot Barbara König Logik 149
29 Tarski s World Einschränkungen an die Syntax zulässige Konstanten und Prädikatsymbole: Zulässige Konstanten: a, b, c, d, e, f Zulässige Prädikatsymbole (Auswahl): Einstellig: Tet, Cube, Dodec, Small, Medium, Large Zweistellig: Smaller, Larger, BackOf, FrontOf, LeftOf, RightOf Dreistellig: Between Neben den Konstanten kommen in den Formeln bei Tarski s World keine weiteren Funktionssymbole vor. Variablen, aussagenlogische Operatoren und Quantoren können beliebig benutzt werden. Außerdem ist das Prädikat Gleichheit (=) erlaubt. Barbara König Logik 150
30 Tarski s World Einschränkungen an die Semantik zulässige Strukturen: Universen bestehen immer aus Mengen von Körpern auf dem Schachbrett. Die Interpretation der Prädikatsymbole ist durch die Größe und Art der Körper und durch ihre Positionierung auf dem Schachbrett festgelegt. Beispielsweise gilt: Tet(a) bedeutet, dass a ein Tetraeder ist. Smaller(a, b) bedeutet, dass a kleiner als b ist. LeftOf (c, d) sagt aus, dass sich c links von d befindet. Between(a, b, c) sagt aus, dass sich a zwischen b und c befindet. Barbara König Logik 151
31 Tarski s World Aussagenlogik Daraus folgt: Nicht jede Formel, die in jeder Tarski s World gilt, ist eine im prädikatenlogischen Sinne gültige Formel. Beispiel: x(small(x) Medium(x) Large(x)) Barbara König Logik 152
32 Folgerung und Äquivalenz Definition (Folgerung) Eine Formel G heißt eine Folgerung der Formeln F 1,..., F k falls für jede Struktur, die sowohl zu F 1,..., F k als auch zu G passend ist, gilt: Wenn A Modell von {F 1,..., F k } ist, dann ist A auch Modell von G. Wir schreiben F 1,..., F k = G, falls G eine Folgerung von F 1,..., F k ist. Definition (Äquivalenz) Zwei Formeln F, G heißen (semantisch) äquivalent, falls für alle Strukturen A, die sowohl für F als auch für G passend sind, gilt A(F ) = A(G). Hierfür schreiben wir F G. Barbara König Logik 153
33 Aufgabe zu Folgerung und Äquivalenz 1 F 1 = xp(x) xq(x) 2 F 2 = x(p(x) Q(x)) 3 F 3 = xp(x) yq(y) J N F 1 = F 2 F 2 = F 3 F 3 = F 1 Barbara König Logik 154
34 Aufgabe zu Folgerung und Äquivalenz 1 F 1 = y xp(x, y) 2 F 2 = x yp(x, y) J N F 1 = F 2 F 2 = F 1 Barbara König Logik 155
35 Aufgabe zu Folgerung und Äquivalenz x yf y xf x yf x yf x yf y xf x yf y xf xf xg x(f G) xf xg x(f G) xf xg x(f G) xf xg x(f G) J N Barbara König Logik 156
36 Äquivalenzen Satz (Äquivalenz von prädikatenlogischen Formeln) Seien F und G beliebige Formeln. Dann gilt: 1 xf x F xf x F 2 Falls x in G nicht frei vorkommt, gilt: xf G x(f G) xf G x(f G) xf G x(f G) xf G x(f G) 3 xf xg x(f G) xf xg x(f G) 4 x yf y xf x yf y xf Barbara König Logik 157
37 Äquivalenzen Aussagenlogik Bemerkung: alle Äquivalenzgesetze der Aussagenlogik behalten weiterhin ihre Gültigkeit. Beispiel: (nach demorgan) x (P(x) P(x)) x( P(x) P(x)) Barbara König Logik 158
38 Substitution Definition (Substitution) Sei F eine Formel, x eine Variable und t ein Term. Dann bezeichnet F [x/t] diejenige Formel, die man aus F erhält, wenn man jedes freie Vorkommen der Variablen x in F durch t ersetzt. Durch [x/t] wird eine Substitution beschrieben. Dabei geht man davon aus, dass durch die Substitution keine Variable in t gebunden wird. Beispiele für Substitutionen: ( P(x) Q(f (x)) R(y) ) [x/g(y)] = P(g(y)) Q(f (g(y))) R(y) ( xp(x) Q(x) ) [x/g(y)] = xp(x) Q(g(y)) Barbara König Logik 159
39 Substitution Unterscheidung zwischen F [x/t] und A [x/d] : Bei F [x/t] wird eine syntaktische Ersetzung innerhalb der Formel F vorgenommen. Bei A [x/d] wird eine Struktur verändert, d.h., diese Ersetzung bezieht sich auf die Semantik. Der Zusammenhang zwischen beiden Notationen ist wie folgt: Überführungslemma Für jede Formel F, jede Variable x und jeden Term t, der keine in F gebundene Variable enthält, gilt: A(F [x/t]) = A [x/a(t)] (F ). Barbara König Logik 160
40 Bereinigte Formeln Definition (Bereinigte Formel) Eine Formel heißt bereinigt, sofern es keine Variable gibt, die in der Formel sowohl gebunden als auch frei vorkommt, und sofern hinter allen vorkommenden Quantoren verschiedene Variablen stehen. Lemma (Gebundene Umbenennung) Sei y eine Variable, die in F nicht vorkommt. Dann gilt: xf y(f [x/y]) xf y(f [x/y]) Lemma Zu jeder Formel F gibt es eine äquivalente Formel in bereinigter Form. Barbara König Logik 161
41 Pränexform Definition (Pränexform) Eine Formel heißt pränex oder in Pränexform, falls sie folgende Bauart hat Q 1 y 1 Q 2 y 2... Q n y n F, wobei Q i {, }, n 0, und die y i (paarweise verschiedene) Variablen sind. Es kommt ferner kein Quantor in F vor. Satz Für jede Formel gibt es eine äquivalente (und bereinigte) Formel in Pränexform. Barbara König Logik 162
42 Pränexform Verfahren zur Bestimmung der Pränexform: Gegeben: eine prädikatenlogische Formel F. 1 Erstelle durch gebundene Umbenennung eine bereinigte Formel, die zu F äquivalent ist. 2 Schieben alle Negationen mit Hilfe der Gesetze xf x F und xf x F hinter die Quantoren. 3 Ziehe alle Quantoren nach vorne unter Verwendung folgender Gesetze (Annahme: x kommt nicht frei in G vor): ( xf G) x(f G) ( xf G) x(f G) ( xf G) x(f G) ( xf G) x(f G) (Für diese Umformung ist es unbedingt notwendig, dass F zuvor bereinigt wurde.) Barbara König Logik 163
43 Pränexform Aussagenlogik Beispiel: Formen Sie die folgende Formel in Pränexform um. F = ( x y P(x, g(y, f (x))) Q(z)) x R(x, y) Barbara König Logik 164
44 Skolemform Wir definieren nun noch die Skolemform, in der keine Existenzquantoren mehr enthalten sind. Definition (Skolemform) Eine Formel ist in Skolemform, falls sie folgende Bauart hat y 1 y 2... y n F, wobei n 0, und die y i (paarweise verschiedene) Variablen sind. Es kommt ferner kein Quantor in F vor. Barbara König Logik 165
45 Skolemform Aussagenlogik Für jede Formel F in bereinigter Pränexform (BPF) definieren wir ihre Skolemform(-el) als das Resultat der Anwendung des folgenden Algorithmus auf F : while F enthält einen Existenzquantor do begin F habe die Form F = y 1 y 2... y n z G für eine Formel G in BPF und n 0 (der Allquantorblock kann auch leer sein); Sei f ein neues bisher in F nicht vorkommendes n-stelliges Funktionssymbol; F := y 1 y 2... y n G[z/f (y 1, y 2,..., y n )]; (der Existenzquantor in F wird entfernt und jedes Vorkommen von z in G durch f (y 1, y 2,..., y n ) ersetzt) end Barbara König Logik 166
46 Skolemform Aussagenlogik Satz Für jede Formel F in bereinigter Pränexform gilt: F ist erfüllbar genau dann, wenn die Skolemform von F erfüllbar ist. Bemerkung: die Umformung in die Skolemform erhält nur die Erfüllbarkeit von Formeln, nicht jedoch deren Gültigkeit! Man sagt daher, dass die Formel F und ihre Skolemform erfüllbarkeitsäquivalent sind. Sie sind im allgemeinen jedoch nicht äquivalent. Barbara König Logik 167
47 Skolemform Aussagenlogik Beispiel 1: Formen Sie folgende Formel in Skolemform um. F = x y z u vp(x, y, z, u, v) Barbara König Logik 168
48 Skolemform Beispiel 2: Gegeben sei die Formel F = x y P(x, y) Bestimmen Sie zunächst die Skolemform F von F. Geben Sie ein Modell von F an und erweitern Sie es zu einem Modell von F. Barbara König Logik 169
49 Klauselform Definition (Klauselform) Eine Aussage heißt in Klauselform, falls sie die Bauart hat y 1 y 2... y n F, wobei F keine Quantoren enthält und in KNF (konjunktiver Normalform) ist. Eine Aussage in Klauselform kann als Menge von Klauseln dargestellt werden. Beispiel: x y((p(x, y) Q(x)) R(y)) ist in Klauselform und wird dargestellt als: {{P(x, y), Q(x)}, {R(y)}} Barbara König Logik 170
50 Klauselform Verfahren zur Bestimmung der Klauselform: Gegeben: eine prädikatenlogische Formel F (mit eventuellen Vorkommen von freien Variablen). 1 Bereinige F durch systematisches Umbenennen der gebundenen Variablen. Es entsteht eine zu F äquivalente Formel F 1. 2 Seien y 1, y 2,..., y n die in F bzw. F 1 vorkommenden freien Variablen. Ersetze F 1 durch F 2 = y 1 y 2... y n F 1. Dann ist F 2 erfüllbarkeitsäquivalent zu F 1 und F und enthält keine freien Variablen mehr. 3 Stelle eine zu F 2 äquivalente (und damit zu F erfüllbarkeitsäquivalente) Aussage F 3 in Pränexform her. Barbara König Logik 171
51 Klauselform 4 Eliminiere die vorkommenden Existenzquantoren durch Übergang zur Skolemform von F 3. Diese sei F 4 und ist dann erfüllbarkeitsäquivalent zu F 3 und damit auch zu F. 5 Forme die Matrix von F 4 um in KNF, wodurch man die Klauselform erhält (und schreibe diese Formel F 5 dann als Klauselmenge auf). Barbara König Logik 172
52 Klauselform Aussagenlogik Welche dieser Formel sind bereinigt, in Pränexform, in Skolemform, in Klauselform? x(tet(x) Cube(x) Dodec(x)) x y(cube(y) BackOf(x, y)) x( FrontOf(x, x) BackOf(x, x)) xcube(x) x Cube(x) x(cube(x) Small(x)) y( Cube(y) Small(y)) (Cube(a) xsmall(x)) Small(a) x(larger(a, x) Larger(x, b)) Larger(a, b) B P S K Barbara König Logik 173
53 Klauselform Beispiel: Formen Sie die folgenden Formeln in Klauselform um: F 1 = xp(x) xp(f (x)) F 2 = ( x y P(x, g(y, f (x))) z Q(z)) x R(x, x) Barbara König Logik 174
Syntax der Prädikatenlogik: Variablen, Terme. Formeln. Freie und gebundene Variablen, Aussagen. Aufgabe
Syntax der Prädikatenlogik: Variablen, Terme Formeln Eine Variable hat die Form x i mit i = 1, 2, 3.... Ein Prädikatensymbol hat die Form Pi k und ein Funktionssymbol hat die Form fi k mit i = 1, 2, 3...
MehrGrundlagen der Programmierung (Vorlesung 7)
Grundlagen der Programmierung (Vorlesung 7) Ralf Möller, FH-Wedel Vorige Vorlesung Boole'sche Logik, Resolution Inhalt dieser Vorlesung Prädikatenlogik erster Stufe Lernziele Syntax, Semantik Entscheidungsprobleme
MehrMotivation. Formale Grundlagen der Informatik 1 Kapitel 19. Syntax & Semantik. Motivation - Beispiel. Motivation - Beispiel
Motivation Formale Grundlagen der Informatik 1 Kapitel 19 & Die ist eine Erweiterung der Aussagenlogik. Sie hat eine größere Ausdrucksstärke und erlaub eine feinere Differenzierung. Ferner sind Beziehungen/Relationen
MehrTerme. Dann ist auch f(t 1. Terme. Dann ist P (t 1
Prädikatenlogik 1. Syntax und Semantik Man kann die Prädikatenlogik unter einem syntaktischen und einem semantischen Gesichtspunkt sehen. Bei der Behandlung syntaktischer Aspekte macht man sich Gedanken
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 22 Quantoren Till Mossakowski Logik 2/ 22 Quantoren: Motivierende Beispiele x Cube(x)
MehrMathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004
Mathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004 In der letzten Vorlesung haben wir gesehen, wie man die einzelnen Zahlenbereiche aufbaut. Uns fehlen nur noch die reellen Zahlen (siehe
MehrLogik Vorlesung 9: Normalformen
Logik Vorlesung 9: Normalformen Andreas Maletti 19. Dezember 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen Weitere Eigenschaften
MehrFormale Grundlagen der Informatik 1 Kapitel 19. Syntax & Semantik
Formale Grundlagen der Informatik 1 Kapitel 19 & Frank Heitmann heitmann@informatik.uni-hamburg.de 23. Juni 2015 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/25 Motivation Die ist eine Erweiterung
MehrPrädikatenlogik. Übersicht: 1 Teil 1: Syntax und Semantik. 2 Teil 2: Normalformen und Grenzen der Prädikatenlogik 1. Stufe
Prädikatenlogik Übersicht: 1 Teil 1: Syntax und Semantik 2 Teil 2: Normalformen und Grenzen der Prädikatenlogik 1. Stufe 3 Teil 3: Modellierung und Beweise 4 Teil 4: Substitution, Unifikation und Resolution
Mehr3. Prädikatenlogik. Im Sinne der Aussagenlogik sind das verschiedene Sätze, repräsentiert etwa durch A, B, C. Natürlich gilt nicht: A B = C
3. Prädikatenlogik 3.1 Motivation In der Aussagenlogik interessiert Struktur der Sätze nur, insofern sie durch "und", "oder", "wenn... dann", "nicht", "genau dann... wenn" entsteht. Für viele logische
MehrAufgabe - Fortsetzung
Aufgabe - Fortsetzung NF: Nicht-Formel F: Formel A: Aussage x :( y : Q(x, y) R(x, y)) z :(Q(z, x) R(y, z)) y :(R(x, y) Q(x, z)) x :( P(x) P(f (a))) P(x) x : P(x) x y :((P(y) Q(x, y)) P(x)) x x : Q(x, x)
Mehr7. Prädikatenlogik. Aussagenlogik hat wünschenswerte Eigenschaften wie Korrektheit, Vollständigkeit, Entscheidbarkeit.
7. Prädikatenlogik Aussagenlogik hat wünschenswerte Eigenschaften wie Korrektheit, Vollständigkeit, Entscheidbarkeit. Aber: Aussagenlogik ist sehr beschränkt in der Ausdrucksmächtigkeit. Wissen kann nur
MehrPrädikatenlogik. Übersicht: 1 Teil 1: Syntax und Semantik. 2 Teil 2: Normalformen und Grenzen der Prädikatenlogik 1. Stufe
Prädikatenlogik Übersicht: 1 Teil 1: Syntax und Semantik 2 Teil 2: Normalformen und Grenzen der Prädikatenlogik 1. Stufe 3 Teil 3: Modellierung und Beweise 4 Teil 4: Substitution, Unifikation und Resolution
MehrLogische Strukturen 7. Vorlesung
Logische Strukturen 7. Vorlesung Martin Dietzfelbinger 18. Mai 2010 Kapitel 2 Prädikatenlogik Was ist das? Logik und Strukturen Natürliches Schließen Normalformen Herbrand-Theorie Prädikatenlogische Resolution
MehrModellierungsmethoden der Informatik Kapitel 2: Logikkalküle
smethoden der Informatik Kapitel 2: Logikkalküle Prädikatenlogik 1. Stufe Norbert Fuhr Gudrun Fischer 29.11.2005 Organisatorisches Organisatorisches Klausur Termin: 20.2.2006, 13-15 Uhr, Audimax Anmeldung
MehrModellierungsmethoden der Informatik Kapitel 2: Logikkalküle
smethoden der Informatik Kapitel 2: Logikkalküle Prädikatenlogik 1. Stufe Norbert Fuhr Gudrun Fischer 29.11.2005 Organisatorisches Organisatorisches Klausur Termin: 20.2.2006, 13-15 Uhr, Audimax Anmeldung
MehrSignatur einer prädikatenlogische Sprache
Signatur einer prädikatenlogische Sprache Das Alphabet einer prädikatenlogische Sprache (erster Stufe) besteht aus den logischen Funktoren,,,,, and den Klammersymbolen ( und ) und dem Komma, einer (abzählbar
MehrLogik für Informatiker
Logik für Informatiker 3. Prädikatenlogik Teil 6 25.06.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Letzte Vorlesungen Prädikatenlogik: Syntax Semantik
MehrMotivation. Formale Grundlagen der Informatik 1 Kapitel 17. Syntax & Semantik. Motivation - Beispiel. Motivation - Beispiel
Motivation Formale Grundlagen der Informatik 1 Kapitel 17 & Frank Heitmann heitmann@informatik.uni-hamburg.de 6. & 7. Juni 2016 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/43 Die ist eine Erweiterung
MehrFormale Grundlagen der Informatik 1 Kapitel 17. Syntax & Semantik
Formale Grundlagen der Informatik 1 Kapitel 17 & Frank Heitmann heitmann@informatik.uni-hamburg.de 6. & 7. Juni 2016 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/43 Motivation Die ist eine Erweiterung
MehrLogik Vorlesung 8: Modelle und Äquivalenz
Logik Vorlesung 8: Modelle und Äquivalenz Andreas Maletti 12. Dezember 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen Weitere
MehrLogik. Aufgaben in: Barwise, Etchemendy. The language of first-order logic. CSLI, ) S. 119 A3 2) S. 131 A15 3) S. 143 A28
Logik Aufgaben in: Barwise, Etchemendy. The language of first-order logic. CSLI, 1992. 1) S. 119 A3 2) S. 131 A15 3) S. 143 A28 Gliederung: Aufgabe 1) S. 2 Aufgabe 2) S. 5 Aufgabe 3) S. 7 1 Aufgabe 1)
MehrFormale Grundlagen der Informatik 1 Wiederholung zum Logik-Teil
Formale Grundlagen der Informatik 1 zum Logik-Teil Frank Heitmann heitmann@informatik.uni-hamburg.de 20. Juni 2016 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/32 Überblick Im hatten wir Aussagenlogik
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 11. Prädikatenlogik Normalformen Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Negationsnormalform Definition: Negationsnormalform
MehrTHEORETISCHE INFORMATIK UND LOGIK
THEORETISCHE INFORMATIK UND LOGIK 13. Vorlesung: Prädikatenlogik: Syntax und Semantik Markus Krötzsch Lehrstuhl Wissensbasierte Systeme TU Dresden, 1. Juni 2018 Halbzeit: Zusammenfassung und Ausblick Markus
MehrAlphabet der Prädikatenlogik
Relationen und Alphabet der Das Alphabet der besteht aus Individuenvariablen Dafür verwenden wir kleine Buchstaben vom Ende des deutschen Alphabets, auch indiziert, z. B. x, y, z, x 1, y 2,.... Individuenkonstanten
MehrLogik Vorlesung 7: Grundlagen Prädikatenlogik
Logik Vorlesung 7: Grundlagen Prädikatenlogik Andreas Maletti 5. Dezember 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen
MehrPrädikatenlogik. Einführende Beispiele Geschwister x y ( u v (Eltern(u, v, x) Eltern(u, v, y) Geschwister(x, y)))
Prädikatenlogik Einführende Beispiele Geschwister x y ( u v (Eltern(u, v, x) Eltern(u, v, y) Geschwister(x, y))) symmetrische Relation x y (R(x, y) R(y, x)) Das Zeichen bezeichnen wir als Existenzquantor
MehrWozu formale Logik? Programmiersprachen Logik im Fingerhut. Formeln. Logik im Fingerhut (24. Januar 2005) Belegung und Interpretation
Wozu formale Logik? Logik im Fingerhut Studiengang Informatik Universität Bremen präzise Beschreibung von Aussagen über die Welt bzw. über verschiedene Welten Ziehen und Überprüfen von Schlussfolgerungen
MehrFormale Methoden 2. Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2015/2016
Formale Methoden 2 Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2015/2016 Teil 2: Logik 1 Prädikatenlogik (Einleitung) 2 Aussagenlogik Motivation Grundlagen Eigenschaften Eigenschaften Normalformen
MehrLogik Vorlesung 10: Herbrand-Theorie
Logik Vorlesung 10: Herbrand-Theorie Andreas Maletti 9. Januar 2015 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen Weitere Eigenschaften
MehrKapitel 1.3. Normalformen aussagenlogischer Formeln. Mathematische Logik (WS 2010/11) Kapitel 1.3: Normalformen 1 / 1
Kapitel 1.3 Normalformen aussagenlogischer Formeln Mathematische Logik (WS 2010/11) Kapitel 1.3: Normalformen 1 / 1 Boolesche Formeln, Literale und Klauseln Eine Boolesche Formel ist eine aussagenlogische
MehrLogik Vorlesung 10: Herbrand-Theorie
Logik Vorlesung 10: Herbrand-Theorie Andreas Maletti 9. Januar 2015 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen Weitere Eigenschaften
MehrKapitel 2. Die Prädikentenlogik (erster Stufe)
Kapitel 2 Die Prädikentenlogik (erster Stufe) Mathematische Strukturen und formale Sprachen Mathematische Logik (WS 2010/11) Prädikatenlogik 1. Stufe 1 / 43 Übersicht Vorbemerkungen Mathematische Strukturen
MehrLogik und Künstliche Intelligenz
Logik und Künstliche Intelligenz Kurze Zusammenfassung (Stand: 14. Januar 2010) Prof. Dr. V. Stahl Copyright 2007 by Volker Stahl. All rights reserved. V. Stahl Logik und Künstliche Intelligenz Zusammenfassung
MehrNichtklassische Logiken
Nichtklassische Logiken Peter H. Schmitt pschmitt@ira.uka.de UNIVERSITÄT KARLSRUHE Sommersemester 2004 P. H. Schmitt: Nichtklassische Logiken p.1 Inhalt Wiederholung P. H. Schmitt: Nichtklassische Logiken
MehrNormalformen boolescher Funktionen
Normalformen boolescher Funktionen Jeder boolesche Ausdruck kann durch (äquivalente) Umformungen in gewisse Normalformen gebracht werden! Disjunktive Normalform (DNF) und Vollkonjunktion: Eine Vollkonjunktion
MehrHerbrand-Universum. Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen. Herbrand-Universum. Herbrand-Universum
Herbrand-Universum Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen Barbara König Übungsleitung: Christoph Blume Motivation: Um die Erfüllbarkeit/Unerfüllbarkeit einer prädikatenlogischen
MehrNormalform. 2.1 Äquivalenz und Folgerung. 2.2 Die pränexe Normalform
2 Normalformen 2.1 Äquivalenz und Folgerung Definition 2.1 Äquivalenz, Folgerung). Seien ϕ, ψ FO[σ]. a) ϕ und ψ heißen äquivalent kurz: ϕ ψ, bzw. ϕ = ψ), wenn für alle zu ϕ und ψ äquivalent passenden σ-interpretationen
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 5. Aussagenlogik Normalformen Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Normalformen Definition: Literal Atom (aussagenlogische
MehrVierte Sitzung. (Wiederholung: Syntax und Semantik der Prädikatenlogik) I. Syntax der Prädikatenlogik
Vierte Sitzung (Wiederholung: Syntax und Semantik der Prädikatenlogik) I. Syntax der Prädikatenlogik 1 Vokabular des syntaktischen Systems der PL1 Das Vokabular der PL1 besteht aus folgender Menge V: {R
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 9. Prädikatenlogik Syntax und Semantik der Prädikatenlogik Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Syntax der
Mehr4.1 Motivation. Theorie der Informatik. Theorie der Informatik. 4.1 Motivation. 4.2 Syntax der Prädikatenlogik. 4.3 Semantik der Prädikatenlogik
Theorie der Informatik 3. März 2014 4. Prädikatenlogik I Theorie der Informatik 4. Prädikatenlogik I 4.1 Motivation Malte Helmert Gabriele Röger 4.2 Syntax der Prädikatenlogik Universität Basel 3. März
MehrComputational Logic Algorithmische Logik Boolesche Algebra und Resolution
Computational Logic Algorithmische Logik Boolesche Algebra und Resolution Ralf Moeller Hamburg Univ. of Technology Boole'sche Algebra Äquivalenzen als "Transformationsgesetze" Ersetzbarkeitstheorem Zentrale
MehrTU7 Aussagenlogik II und Prädikatenlogik
TU7 Aussagenlogik II und Prädikatenlogik Daniela Andrade daniela.andrade@tum.de 5.12.2016 1 / 32 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds
MehrDie Prädikatenlogik erster Stufe: Syntax und Semantik
Die Prädikatenlogik erster Stufe: Syntax und Semantik 1 Mathematische Strukturen und deren Typen Definition 1.1 Eine Struktur A ist ein 4-Tupel A = (A; (R A i i I); (f A j j J); (c A k k K)) wobei I, J,
MehrTHEORETISCHE INFORMATIK UND LOGIK
Komplexität und Spiele NP ist eine typische Klasse für Solitaire-Spiele: Sudoku, Minesweeper, Tetris,... THEORETISCHE INFORMATIK UND LOGIK 13. Vorlesung: Prädikatenlogik: Syntax und Semantik Markus Krötzsch
Mehr5.2 Logische Gültigkeit, Folgerung, Äquivalenz
5.2 Logische Gültigkeit, Folgerung, Äquivalenz Durch Einsetzung von PL1-Formeln für die Metavariablen in AL-Gesetzen erhält man PL1-Instanzen von AL-Gesetzen. Beispiele: φ φ AL PL1-Instanzen: Pa () Pa
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 14.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 14. Dezember 2016 Die formale Sprache der Prädikatenlogik: Zeichen Benutzt werden
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 12. Prädikatenlogik Resolution Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Zur Erinnerung Definition: Aussagenlogische
MehrSatz. Für jede Herbrand-Struktur A für F und alle t D(F ) gilt offensichtlich
Herbrand-Strukturen und Herbrand-Modelle Sei F eine Aussage in Skolemform. Dann heißt jede zu F passende Struktur A =(U A, I A )eineherbrand-struktur für F, falls folgendes gilt: 1 U A = D(F ), 2 für jedes
MehrTHEORETISCHE INFORMATIK UND LOGIK
THEORETISCHE INFORMATIK UND LOGIK 13. Vorlesung: Prädikatenlogik: Syntax und Semantik Markus Krötzsch Lehrstuhl Wissensbasierte Systeme TU Dresden, 26. Mai 2017 Komplexität und Spiele NP ist eine typische
MehrFormale Grundlagen der Informatik 3 Kapitel 4 Prädikatenlogik Resolution
Formale Grundlagen der Informatik 3 Kapitel 4 Prädikatenlogik Frank Heitmann heitmann@informatik.uni-hamburg.de 30. November 2015 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/43 Eine besondere Formel
MehrErgänzung zu Theoretische Informatik II
Ergänzung zu Theoretische Informatik II Prädikatenlogik Carlos Camino www.fmi.uni-stuttgart.de/ti/teaching/s18/eti2 Sommersemester 2018 Strukturen Eine Struktur A (schön-a oder kalligrafisches A) ist ein
MehrKapitel L:III. III. Prädikatenlogik
Kapitel L:III III. Prädikatenlogik Syntax der Prädikatenlogik Semantik der Prädikatenlogik Wichtige Äquivalenzen Einfache Normalformen Substitution Skolem-Normalformen Standard-Erfüllbarkeit Prädikatenlogische
MehrBeachte: Mit n = 0 sind auch Konstanten Terme.
Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 4.2 Prädikatenlogik ohne Gleichheit Syntax und Semantik 107 Terme Ab sofort wird Signatur τ als festgelegt angenommen. Sei V = {x, y,...} Vorrat
MehrLogik Grundvorlesung WS 17/18 Folien Teil 2: Prädikatenlogik
Logik Grundvorlesung WS 17/18 Folien Teil 2: Prädikatenlogik Gerhard Brewka Institut für Informatik Universität Leipzig brewka@informatik.uni-leipzig.de G. Brewka (Leipzig) WS 17/18 1 / 43 Motivation Aussagenlogik:
MehrEine besondere Formel. Formale Grundlagen der Informatik 3 Kapitel 4 Prädikatenlogik. Resolution. Eine besondere Formel. Merke
Eine besondere Formel Unendliche Strukturen Der Satz von Church Formale Grundlagen der Informatik 3 Kapitel 4 Prädikatenlogik Frank Heitmann heitmann@informatik.uni-hamburg.de 30. November 2015 In der
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 31 Die Logik der Quantoren Till Mossakowski Logik 2/ 31 Wahrheitsfunktionale Form
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 9. Prädikatenlogik Syntax und Semantik der Prädikatenlogik Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Syntax der
MehrGrundlagen der Logik
Grundlagen der Logik Denken Menschen logisch? Selektionsaufgabe nach Watson (1966): Gegeben sind vier Karten von denen jede auf der einen Seite mit einem Buchstaben, auf der anderen Seite mit einer Zahl
MehrSS Juni Übungen zur Vorlesung Logik Blatt 8
SS 2011 08. Juni 2011 Übungen zur Vorlesung Logik Blatt 8 Prof. Dr. Klaus Madlener Abgabe bis 23. Juni 2011 10:00 Uhr 1. Aufgabe: [Terme und Formeln, Übung] Betrachten Sie folgende Ausdrücke: a) 3 + 4
MehrVorlesung Logik Wintersemester 2017/18 Universität Duisburg-Essen
Vorlesung Logik Wintersemester 2017/18 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Harsh Beohar Barbara König Logik 1 Mengen, Relationen und Funktionen Menge: Menge X von Elementen,
MehrDie Folgerungsbeziehung
Kapitel 2: Aussagenlogik Abschnitt 2.1: Syntax und Semantik Die Folgerungsbeziehung Definition 2.15 Eine Formel ψ AL folgt aus einer Formelmenge Φ AL (wir schreiben: Φ = ψ), wenn für jede Interpretation
MehrWissensbasierte Systeme 7. Prädikatenlogik
Wissensbasierte Systeme 7. Prädikatenlogik Syntax und Semantik, Normalformen, Herbrandexpansion Michael Beetz Plan-based Robot Control 1 Inhalt 7.1 Motivation 7.2 Syntax und Semantik 7.3 Normalformen 7.4
MehrFormale Grundlagen der Informatik 1 Kapitel 21 Prädikatenlogische Resolution
Formale Grundlagen der Informatik 1 Kapitel 21 Prädikatenlogische Frank Heitmann heitmann@informatik.uni-hamburg.de 30. Juni 2015 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/41 Ablauf Unendliche
MehrAblauf. Formale Grundlagen der Informatik 1 Kapitel 21 Prädikatenlogische Resolution. Eine besondere Formel. Eine besondere Formel
Ablauf Formale Grundlagen der Informatik 1 Kapitel 21 Prädikatenlogische Frank Heitmann heitmann@informatik.uni-hamburg.de 30. Juni 2015 Wir werden heute die Themen aus den Kapitel 2.3, 2.4 und 2.5 aus
MehrRalf Möller, TUHH. Beim vorigen Mal: Heute: Prädikatenlogik: Algorithmus für Erfüllbarkeitsproblem. Lernziele: Beweisverfahren für Prädikatenlogik
Ralf Möller, TUHH Beim vorigen Mal: Heute: Prädikatenlogik: Algorithmus für Erfüllbarkeitsproblem Lernziele: Beweisverfahren für Prädikatenlogik Danksagung Bildmaterial: S. Russell, P. Norvig, Artificial
MehrLogik I. Symbole, Terme, Formeln
Logik I Symbole, Terme, Formeln Wie jede geschriebene Sprache basiert die Prädikatenlogik erster Stufe auf einem Alphabet, welches aus den folgenden Symbolen besteht: (a) Variabeln wie zum Beispiel v 0,v
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 3 06.05.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Bis jetzt Syntax (Formeln) Semantik Wertebelegungen/Valuationen/Modelle
Mehr3 Prädikatenlogik der 1. Stufe (PL1) Teil I
3 Prädikatenlogik der 1. Stufe (PL1) Teil I 3.3 Quantoren [ Gamut 70-74 McCawley 23-44 Chierchia 113-117 ]? Sind folgende Sätze jeweils synonym? (1) (a) Hans ist verheiratet oder nicht verheiratet. (b)
MehrGrundlagen der Theoretischen Informatik
FH Wedel Prof. Dr. Sebastian Iwanowski GTI22 Folie 1 Grundlagen der Theoretischen Informatik Sebastian Iwanowski FH Wedel Kap. 2: Logik, Teil 2.2: Prädikatenlogik FH Wedel Prof. Dr. Sebastian Iwanowski
Mehrf(1, 1) = 1, f(x, y) = 0 sonst üblicherweise Konjunktion, manchmal auch
Belegungen, Wahrheitsfunktionen 1. Wie viele binäre Funktionen gibt es auf der Menge {0, 1} (d.h., Funktionen von {0, 1} 2 nach {0, 1})? Geben Sie alle diese Funktionen an, und finden Sie sinnvolle Namen
MehrFormale Systeme, WS 2013/2014. Lösungen zu Übungsblatt 5
Karlsruher Institut für Technologie Institut für Theoretische Informatik Prof. Dr. Peter H. Schmitt Dr. V. Klebanov, Dr. M. Ulbrich, C. Scheben Formale Systeme, WS 2013/2014 Lösungen zu Übungsblatt 5 Dieses
MehrTheoretische Informatik: Logik
Theoretische Informatik: Logik Vorlesung mit Übungen im WS 2006/2007 Vorlesung: Montag Montag 9-10 Uhr, Raum 1603 WAneu 14-16 Uhr, Raum 1603 WAneu Beginn: Montag, den 23.10.2006, 9 15 Uhr. Übungen in 3
Mehr3.2 Prädikatenlogik. WS 06/07 mod 321
3.2 Prädikatenlogik WS 06/07 mod 321 Prädikatenlogik umfasst Aussagenlogik mit atomaren Aussagen, Variablen, Junktoren. Zusätzliche Konzepte: A = (τ, Σ) sei die so genannte Termalgebra (mit Variablen,
MehrWS 2013/14. Diskrete Strukturen
WS 2013/14 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws13/14
MehrSyntax der Aussagenlogik. Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen. Formel als Syntaxbaum. Teilformel A 3 A 1 A 4
Syntax der Vorlesung Logik Sommersemester 2012 Universität Duisburg-Essen Barbara König Übungsleitung: Christoph Blume Eine atomare Formel hat die Form A i (wobei i = 1, 2, 3,...). Definition (Formel)
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 7.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 7. Dezember 2016 Ein klassischer Mathematikerwitz Ein Soziologe, ein Physiker
MehrEinführung in die Logik (Vorkurs)
Einführung in die Logik (Vorkurs) Jürgen Koslowski 2014-04-07 Ein Beispiel Familie A will im kommenden Jahr eine Waschmaschine, ein Auto und ein Moped anschaffen. Aber falls Herr A seinen üblichen Bonus
MehrBeispiel. Bsp.: Betrachte Schlussweise in: (3) folgt aus (1) und (2), siehe z.b. Resolutionsregel. was ist mit folgender Schlußweise:
Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 4.9 Prädikatenlogik Resolution 207 Beispiel Bsp.: Betrachte Schlussweise in: 1 Wenn es regnet, dann wird die Straße nass. R N 2 Es regnet. R
Mehr1.1 Grundbegriffe. Logik und Diskrete Strukturen (Sommer 2018) Prof. Dr. Ulrich Hertrampf
. Grundbegriffe Beispiele: Paris und Mäuse / Otto und der Arzt /... Definition: Syntax der Aussagenlogik ) Atomare Formeln (A i, i =, 2, 3,...)sindFormeln. 2) Falls F und G Formeln, dann auch (F ^ G) und
MehrMathematischer Vorkurs
Mathematischer Vorkurs Dr. Agnes Lamacz Mathematischer Vorkurs TU Dortmund Seite 1 / 170 Kapitel 11 Aussageformen Mathematischer Vorkurs TU Dortmund Seite 103 / 170 11.1 Denition: Aussageformen Eine Aussageform
Mehr1 Prädikatenlogik. 1.1 Signaturen und Strukturen
1 Prädikatenlogik Die Constraint-logische Programmierung basiert auf der Prädikatenlogik: Constraints sind prädikatenlogische Formeln und logische Sprachen wie prolog machen einen Ausschnitt der Prädikatenlogik
MehrSyntax. 1 Jedes A AS AL ist eine (atomare) Formel. 2 Ist F eine Formel, so ist auch F eine Formel. 3 Sind F und G Formeln, so sind auch
Formale der Informatik 1 Kapitel 15 Folgerbarkeit, Äquivalenzen und Normalformen Frank Heitmann heitmann@informatik.uni-hamburg.de 8. Juni 2015 Syntax Definition (Syntax der Aussagenlogik) Mit AS AL sei
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 7 Sprachen erster Sufe Die in der letzten Vorlesung erwähnten Konstruktionsmöglichkeiten für Aussagen sind im Wesentlichen
MehrAufgabe. Gelten die folgenden Äquivalenzen?. 2/??
Äquivalenz Zwei Formeln F und G heißen (semantisch) äquivalent, falls für alle Belegungen A, die sowohl für F als auch für G passend sind, gilt A(F ) = A(G). Hierfür schreiben wir F G.. 1/?? Aufgabe Gelten
Mehr(1) (a) Hans ist verheiratet oder nicht verheiratet. (b) Hans ist verheiratet oder Hans ist nicht verheiratet.
3.3 Quantoren? Sind folgende Sätze jeweils synonym? (1) (a) Hans ist verheiratet oder nicht verheiratet. (b) Hans ist verheiratet oder Hans ist nicht verheiratet. (2) (a) Jeder ist verheiratet oder nicht
MehrLogische und funktionale Programmierung
Logische und funktionale Programmierung Vorlesung 2: Prädikatenkalkül erster Stufe Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 14. Oktober 2016 1/38 DIE INTERPRETATION
MehrFormale Systeme, WS 2012/2013. Lösungen zu Übungsblatt 7
Karlsruher Institut für Technologie Institut für Theoretische Informatik Prof. Dr. Peter H. Schmitt David Faragó, Christoph Scheben, Mattias Ulbrich Formale Systeme, WS 2012/2013 Lösungen zu Übungsblatt
MehrObjekte in einer gewissen Beziehung zueinander stehen, eine Eigenschaft für alle Objekte gilt, es ein Objekt mit einer bestimmten Eigenschaft gibt.
3. Prädikatenlogik Gegenüber der Aussagenlogik wird die Sprache der Prädikatenlogik (Predicate Logic) so erweitert, daß gewisse Formen von Aussagen, die in der Aussagenlogik nicht möglich sind, ausgedrückt
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 4 7.05.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Bis jetzt Syntax der Aussagenlogik: Definition der Menge
MehrSyntax der Aussagenlogik
Einführende Beispiele bitte im Buch nachlesen: Uwe Schöning: Logik für Informatiker. 5. Auflage, Spektrum Akad. Verlag, 2. Definition: Syntax der Aussagenlogik ) Atomare Formeln (A i, i =, 2, 3,...)sindFormeln.
MehrGrundlagen der Programmierung
GdP4 Slide 1 Grundlagen der Programmierung Vorlesung 4 vom 04.11.2004 Sebastian Iwanowski FH Wedel Grundlagen der Programmierung 1. Einführung Grundlegende Eigenschaften von Algorithmen und Programmen
MehrLogik für Informatiker Logic for computer scientists
Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 28 Überblick Motivation Motivation Formale Beweise in Fitch Die Booleschen Junktoren
MehrLogik für Informatiker
Logik für Informatiker Wintersemester 2007/08 Thomas Schwentick Teil B: Prädikatenlogik 4. Grundlagen Version von: 24. Januar 2008(14:35) Inhalt 4.1 Ein Beispiel 4.2 Relationen und Funktionen 4.3 Strukturen
MehrWS 2015/16 Diskrete Strukturen Kapitel 2: Grundlagen (Prädikatenlogik)
WS 2015/16 Diskrete Strukturen Kapitel 2: Grundlagen (Prädikatenlogik) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_15
MehrTHEORETISCHE INFORMATIK UND LOGIK
Rückblick: Logelei Wir kehren zurück auf das Inselreich mit Menschen von Typ W (Wahrheitssager) und Typ L (Lügner). THEORETISCHE INFORMATIK UND LOGIK 14. Vorlesung: Modelltheorie und logisches Schließen
MehrSyntax der Prädikatenlogik: Komplexe Formeln
Syntax der Prädikatenlogik: Komplexe Formeln Σ = P, F eine prädikatenlogische Signatur Var eine Menge von Variablen Definition: Menge For Σ der Formeln über Σ Logik für Informatiker, SS 06 p.10 Syntax
MehrLogik und Grundlagen Martin Goldstern, WS 2017/18 1
Logik und Grundlagen Martin Goldstern, WS 2017/18 1 Hinweis: Manche (sehr wenige) der folgenden Beispiele sind falsch, manche enthalten offene Fragen, manche sind besonders schwierig. Die Lösung eines
Mehr