Ist die Zeichenkette xy( xy Rxy = Ryx) eine syntaktisch korrekte Formel? Geben Sie eine kurze Begrndung fr Ihre Antwort an.
(ii) Geben Sie eine Formel FO({E}) an, so dass fr jeden ungerichteten Graphen G gilt: G |= genau dann, wenn G keinen Knoten ohne Nachbarn enthlt.
(iii) Sei f ein einstelliges Funktionssymbol. Geben Sie eine FO-Formel an, die in jeder {f }-Struktur A die Menge der Fixpunkte von f A definiert.
(iv) Formulieren Sie den Kompaktheitssatz der Aussagenlogik.
(v) Vervollstndigen Sie die Definition: Eine Relation R Ar ber einer -Struktur A ist elementar definierbar, wenn...
(b) Entscheiden Sie jeweils, ob die folgenden Aussagen zutreffen und geben Sie eine kurze Be- grndung an (etwa, indem Sie ein Gegenbeispiel konstruieren, oder bekannte Ergebnisse aus der Vorlesung/bung fr Ihre Argumentation verwenden). Achtung: Fehlt eine Begrndung, so wird Ihre Lsung mit 0 Punkten bewertet.
(i) Sei F eine Menge von vier paarweise verschiedenen zweistelligen Booleschen Funktio- nen. Dann ist F funktional vollstndig.
(ii) Sei eine Horn-Formel. Dann ist (X Y ) nicht quivalent zu einer Horn-Formel.
(iii) Sei FO eine endliche Satzmenge und sei FO ein Satz, so dass |= . Dann ist die Sequenz { | } im Sequenzenkalkl ableitbar. (iv) Sei FO eine unendliche Satzmenge und sei A |= . Dann existiert eine unendliche echte Teilmenge 0 von , so dass A |= 0 .
(v) Sei T FO( ) eine vollstndige Theorie und sei A |= T . Falls A 6|= fr einen Satz FO( ), so gilt T .
(vi) Seien , unendliche, disjunkte Mengen von AL-Formeln, so dass jede Interpretation, die Modell von ist, auch Modell von ist, und umgekehrt. Wenn |= , dann existiert nicht zwingend eine endliche Menge 0 , so dass 0 |= .
(vii) Seien A und B endliche Strukturen, so dass die Duplikatorin das Ehrenfeucht-Frass- Spiel fr jedes m N gewinnt. Dann gilt A = B. (viii) Sei (Kn )nN mit Ki Ki+1 eine Folge von FO-axiomatisierbaren Klassen von Struk- turen. Dann ist nN Kn FO-axiomatisierbar. S
(ix) Sei f ein einstelliges Funktionssymbol, und sei = xy(f y = x). Wenn A |= , dann ist auch jede Substruktur von A Modell von .
(x) Der Satz xy(x = y x 6= y) ist unerfllbar.
Aufgabe 2
(a) Verwenden Sie die Einheitsresolution fr Horn-Formeln auf geeignete Weise, um zu ber- prfen, ob folgende Formel erfllbar oder unerfllbar ist:
(X Y ) (Y Z) (Z Y ) (Z (Z X)) (X Z) Y. (b) Wir betrachten die beiden folgenden Mengen , von AL-Formeln:
:={Xi+1 (Xi Xi+2 ) | i N, i ungerade}
:={(Xi X2i+1 ) | i N, i gerade}
Weisen Sie mit der Resolutionsmethode nach, dass die folgende Folgerungsbeziehung gilt:
{X2 } |= X4 . (c) Es ist bekannt, dass Modelle von Horn-Formeln unter Schnitt abgeschlossen sind. Analog dazu definieren wir nun die Vereinigung von Interpretationen I1 , I2 : {0, 1}:
(i) Zeigen oder widerlegen Sie, dass Modelle von Horn-Formeln auch unter Vereinigung abgeschlossen sind.
(ii) Sei eine erfllbare AL-Formel, deren Modelle unter Vereinigung abgeschlossen sind. Weisen Sie nach, dass das maximale Modell von eindeutig ist. (d) Sei (n )nN eine Folge von Mengen von AL-Formeln mit n n+1 fr alle n N, und sei eine AL-Formel, so dass nN n |= . Beweisen oder widerlegen Sie, dass dann ein S
n N existiert, so dass n |= .
(e) Seien 1 , 2 Mengen von AL-Formeln und sei eine AL-Formel, so dass die folgenden Eigenschaften gelten: (1) 1 {} ist unerfllbar fr jedes 2 . (2) Es existiert eine endliche Menge 2 , so dass die Sequenz im Sequenzen- kalkl ableitbar ist. Zeigen Sie, dass dann auch 1 |= gilt. Aufgabe 3
(a) Definieren Sie die Ableitbarkeitsbeziehung `.
(b) Formulieren Sie den Vollstndigkeitssatz fr den Sequenzenkalkl der Prdikatenlogik.
(c) Betrachten Sie den Teil des Kompaktheitssatzes der Prdikatenlogik, der sich mit der Folgerungsbeziehung beschftigt. Erlutern Sie, wie diese Aussage aus dem Vollstndig- keitssatz folgt. (d) Beweisen Sie durch Ableiten im Sequenzenkalkl die Gltigkeit der folgenden Sequenz der Prdikatenlogik:
x ((Qx yRxy) Rcx) , Rcc Qc
Schlussregeln des Sequenzenkalkls
, t = t (=)
, (t) , (t) (S ) . ( S) . , t = t0 , (t0 ) , t = t0 , (t0 )
, , ( ) ( ) , ,
, , , , ( ) ( ) , ,
, , , , ( ) ( ) , ,
, , , , () () , ,
, (c) , (t) ( ) ( ) , x(x) , x(x)
, (t) , (c) ( ) ( ) , x(x) , x(x)
fr ein Konstantensymbol c und beliebige Terme t, t0 .
wenn c in , und nicht vorkommt
Fortsetzung Aufgabe 3 auf der nchsten Seite
(e) Beweisen Sie semantisch (d.h. nicht durch Ableiten im Sequenzenkalkl) die Korrektheit der folgenden Schlussregel fr die Prdikatenlogik:
, (f c) , x (x)
wobei f ein einstelliges Funktionssymbol ist, das in , und nicht vorkommt.
Aufgabe 4 Seien f, g zweistellige Funktionssymbole und seien 0, 1 Konstantensymbole. Weiter sei T die Menge der Grundterme ber {f, g, 0, 1}. Weiterhin seien S und P zweistellige Relationssymbole. Wir betrachten die Struktur T = (T, P T , S T , f T , g T ) wobei
f T (t, t0 ) = f tt0 ,
g T (t, t0 ) = gtt0 und
S T T T mit (t0 , t) S T genau dann, wenn t0 ein Subterm von t ist. (Z.B. sind die Subterme von f g001 die Terme f g001, g00, 0 und 1).
P T = {(t, t0 ) | |t|f = |t0 |f (mod 2)}. Hier ist |t|f die Anzahl der f , die in t vorkommen.
a) Beschreiben Sie einen Automorphismus von T, welcher nicht die Identitt ist. Hinweis: Beachten Sie, dass 0 und 1 nicht in der Signatur enthalten sind.
b) Beweisen oder widerlegen Sie, dass die folgenden Relationen in T elementar definierbar sind. (i) R1 = {t | g kommt in t nicht vor}.
(ii) R2 = {t | 0 kommt in t nicht vor}.
(iii) R3 = {t | |t|f = 0 (mod 2)}.
c) Geben Sie fr die folgenden Paare von Strukturen jeweils eine Formel von mglichst kleinem Quantorenrang m an, welche die Strukturen trennt und geben Sie eine Gewinnstrategie fr den Herausforderer im Spiel Gm (A, B) an, oder zeigen Sie, dass keine solche Formel existiert. (i) A = (Z, <) und B = (Z { n1 | n 2}, <).
(ii) A = (N Z, E A ) mit E A = {((n, m), (n, m + 1)) | n N, m Z} und
B = (R, E B ) mit E B = {(r, r + 1) | r R}. Aufgabe 5 Sei = {E, R, B} mit zweistelligem Relationssymbol E und einstelligen Relationssymbolen R, B. Wir sagen, dass Elemente in R die Farbe rot und Elemente in B die Farbe blau besitzen. Ein 2-gefrbter Graph ist eine -Struktur G = (V, E, R, B), so dass (V, E) ein ungerichteter Graph ist, in dem jeder Knoten v V genau eine der Farben rot oder blau besitzt, und zwar so, dass alle Paare von benachbarten Knoten (v, w) E unterschiedliche Farben besitzen.
(a) Geben Sie einen FO( )-Satz C an, der die Klasse C der 2-gefrbten Graphen axiomatisiert.
(b) Beweisen oder widerlegen Sie fr die folgenden Klassen von -Strukturen jeweils, dass sie FO-axiomatisierbar sind. Geben Sie jeweils ein, falls mglich endliches, Axiomensystem an oder beweisen Sie, dass ein solches nicht existiert. Hinweis: Beachten Sie, dass alle nachfolgenden Klassen Teilklassen von C sind. (i) K1 = {G C | es gibt mindestens 13 rote Knoten, die jeweils mindestens einen Nachbarn in G haben}. (ii) K2 = {G C | R ist endlich und B ist endlich}.
(iii) K3 = {G C | falls es nur endlich viele blaue Knoten in G gibt,
so gibt es unendlich viele rote Knoten in G}. (iv) K4 = {G C | G enthlt nur endlich viele Kreise der Lnge 3}.
