Universit at Koblenz-Landau

Institut f ur Informatik Bernhard Beckert www.uni-koblenz.de/~beckert Claudia Obermaier www.uni-koblenz.de/~obermaie Cristoph Gladisch www.uni-koblenz.de/~gladisch

SS 06

Ubung zur Vorlesung

Logik fu r Informatiker Musterlo sung Aufgabenblatt 8

Aufgabe 26
Geben Sie f ur die Formel (B C ) (C A) (A B ) (B C ) eine Widerlegung mittels nachstehender Verfahren an. Wandeln Sie f ur (a) und (b) die Formel erst in Klauselnormalform um. (1) Modell-Elimination (starke Konnektionsbedingung)

L osung: Umwandlung in Klauselnormalform: (B C ) (C A) (A B ) (B C ) =(B C ) (C A) (A C ) (A B ) (B A) (B C ) Klauselmenge dazu: {{B, C }, {C, A}, {A, C }, {A, B }, {B, A}, {B, C }} Klauseltableau mit starker Konnektionsbedingung: 1 A A
r rr r r

B C C

r rr

C C

r rr

B A

r r

A A

r r

(2) Klauseltableau mit schwacher Konnenktionsbedingung: Finden Sie ein regul ares und von Teil (a) abweichendes Klauseltableau.

L osung: Umwandlung der gegebenen Formel in Klauselnormalform siehe Aufgabenteil (a). Ergebnis ist die Klauselmenge: {{B, C }, {C, A}, {A, C }, {A, B }, {B, A}, {B, C }} Regul ares Klauseltableau mit schwacher Konnektionsbedingung (von (a) abweichende L osung): 1
r r rr r

A A

B B

rr

C B C B

r rr

rr

rr

C C

r r

r r

(3) Aussagenlogisches Tableau

L osung: Zuerst l osen wir die in der Formel vorkommenden Aquivalenzen auf: (B C ) (C A) (A B ) (B C ) =(B C ) (C A) (A C ) (A B ) (B A) (B C ) Aussagenlogisches Tableau:

1 BC (C A) (A C ) (A B ) (B A) (B C ) CA (A C ) (A B ) (B A) (B C ) AC (A B ) (B A) (B C ) A B (B A) (B C ) B A B C
r r rr r r

B A B

C C

rr r

B B

rr

r r

r r

C A

r r

B B

r r

Aufgabe 27
Zeigen Sie die Unerf ullbarkeit der Formel (A B ) (A B ) (A B ) (A C ) C mittels Klauseltableau mit schwacher Konnektionsbedingung, die keine Modell-Elimination (starke Konnektionsbedingung) ist. 3

L osung: Umwandlung der gegebenen Formel in Klauselnormalform siehe Aufgabenteil (a). Ergebnis ist die Klauselmenge: (A B ) (A B ) (A B ) (A C ) C =(A B ) (A B ) (A B ) (A C ) C Die Klauselmenge dazu ist: {{A, B }, {A, B }, {A, B }, {A, C }, {C }} Klauseltableau mit schwacher Konnektionsbedingung (keine starke Konnektionsbedingung): 1 A A
r rr r r

B B

r r

C B A

r r

r r

r r

Aufgabe 28
Seien p und q Pr adikate u urlichen Zahlen. Die Semantik von p und q sei gegeben ber den nat durch: p(x, y ) gilt genau dann, wenn x die Zahl y teilt und q (x, y ) gilt genau dann, wenn x y ist. F ur alle Interpretationen I , deren Universum die nat urlichen Zahlen sind und f ur die gilt, dass pI = {(x, y ) | x teilt y } und q I = {(x, y ) | x y } ist, muss z.B. f ur die im Aufgabenteil (a) gebildete Formel F gelten, dass F I genau dann wahr ist, wenn y I eine Primzahl ist. Formalisieren Sie mit Hilfe der Pr adikatenlogik: (1) y ist eine Primzahl L osung: x(p(x, y ) (x = 1) (x = y )) (y = 1)

(2) y ist eine gerade Zahl L osung: p(2, y ) (3) ggt ist der gr ote gemeinsame Teiler der beiden Zahlen x und y L osung: xy ggt(p(ggt, x) p(ggt, y ) z (p(z, y ) p(z, x) q (z, ggt))) (4) kgV ist das kleinste gemeinsame Vielfache der beiden Zahlen x und y L osung: xy kgV (p(x, kgV ) p(y, kgV ) z (p(y, z ) p(x, z ) q (kgV, z ))) (5) x und y sind teilerfremde Zahlen L osung: z (p(z, x) p(z, y ) (z = 1))

Aufgabe 29
Schreiben Sie die folgenden S atze als pr adikatenlogische Formeln. Benutzen Sie dabei die einstelligen Pr adikate arbeiten, student, mensch, freuen, sterblich und die zweistelligen Pr adikate ungleich und streiten. (1) Jemand arbeitet L osung: x arbeiten(x) (2) Jeder Student arbeitet L osung: x(student(x) arbeiten(x)) (3) Kein Student arbeitet L osung: x(student(x) arbeiten(x)) (4) Kein Mensch ist unsterblich L osung: x(mensch(x) sterblich(x)) (5) Wenn zwei sich streiten, freut sich der Dritte L osung: xy z (ungleich(x, y ) ungleich(x, z ) ungleich(y, z ) streiten(x, y ) f reuen(z ))

Aufgabe 30
Gegeben sei die Struktur I = U, A folgendermaen: U = R, pI = {z | z 0}, q I = {(x, y ) | x = y }, f I (z ) = z 2 , g I (x, y ) = x + y, xI = 2, y I = 1 5

Bestimmen Sie den Wert folgender Terme und Formeln: (1) I (g (f (x), f (y ))) L osung: I (g (f (x), f (y ))) = g I (I (f (x)), I (f (y ))) = f I (I (x)) + f I (I (y )) = (xI )2 + (y I )2 = ( 2)2 + (1)2 =2+1 =3 (2) I (x p(f (x))) Lo sung: Betrachten wir zun achst I (p(f (x))): I (p(f (x))) = pI (f I (xI )) pI (f I (xI )) hat genau denn den Wert true, wenn (xI )2 0 ist. Da dies f ur jede Belegung von x mit Elementen aus U gilt, gilt auch Ix/d (p(f (x))) = true f ur alle d U . Daraus folgt I (x p(f (x))) = true (3) I (z xy q (g (x, y ), z )) Lo sung: Wir betrachten I (q (g (x, y ), z )): I (q (g (x, y ), z )) = q I (g I (xI , y I )) q I (g I (xI , y I ), z I )) ist genau dann wahr, wenn xI + y I = z I ist. Es gibt jedoch kein z R, so dass f ur alle x, y R gilt: x + y = z Daraus folgt I (z x y q (g (x, y ), z )) = f alse (4) I (y (q (f (x), y ) p(g (x, y )))) Lo sung: In y (q (f (x), y ) p(g (x, y ))) kommt x frei vor und y gebunden. Daher ist xI = 2. Auerdem ist: I (q (f (x), y ) p(g (x, y ))) = q I (f I (xI , y I ) pI (g I (xI , y I )) und q I (f I (xI , y I ) pI (g I (xI , y I )) ist genau dann wahr, wenn ((xI )2 = y ) ((xI + y I ) 0) (( 2)2 = y ) (( 2 + y I ) 0) ist. Betrachten wir nun den Wahrheitswert von y ((( 2)2 = y ) (( 2 + y ) 0))) Die Pr amisse y (( 2)2 = y ) ist genau dann wahr, wenn y den Wert 2 hat. F ur y = 2 ist jedoch auch die Konklusion 2 + 2 0 wahr. Daraus folgt: I (y (q (f (x), y ) p(g (x, y )))) = true 6

Bernhard Beckert : Zi. B218, Tel. 287-2775, beckert@uni-koblenz.de Claudia Obermaier : Zi. B219, Tel. 287-2773, obermaie@uni-koblenz.de Christoph Gladisch : gladisch@uni-koblenz.de Materialien: http://www.uni-koblenz.de/~beckert/Lehre/Logik/