Documentos de Académico
Documentos de Profesional
Documentos de Cultura
01. bung
Aufgabe 3
Gegeben:
=
=
= ( ) ( )
= ( ) ( )
= ( )
Gesucht ist Interpretation : {, , , , } {0, 1} mit |=
Semantisch Bedeutung der Interpretation ist noch anzufgen!
1.Angenommen () = 1, () = 1, () = 0, () = 0, () = 1, , da
J K = 0 ist und somit |=
() = 0
1.
2.Angenommen () = 1, , da J K = 0 ist
() = 0
3.Somit () = 1, () = 1, () = 0
Weiterhin ist J K = 1 und somit eine gltige Interpretation mit () = () = () = 0, () =
() = 1 gegeben Es kommen somit lediglich Desire und Emil zu einem Treff, vielleicht wollen sie
auch einfach nur alleine sein.
Aufgabe 4
a)
(i)
( 1) (0 ) ( 1) (0 )
( 1) (0 )
( 1) (0 )
( 0) 1 1
Tautologie
(ii)
(1 ( )) (1 )
( ( )) (1 )
(( ) ( ) (1 )
( ) (1 )
( )
deMorgan
( )
I : 1, 1 ist Modell,
I : 1, 0 ist kein Modell
Somit erfllbar, aber keine Tautologie
(iii)
( ( ))
( ( ))
(( ) )
1 0
unerfllbar bzw Nihilismus
b)
i) Zu zeigen: ( ) ( ) ( )
( ) ( )
( ) ( )
( ) ( )
ii) Zu Zeigen: ) ( ) ( )
( ) ( )
Kontraposition
( ) ( )
( ) ( )
( ) ( )
Absorption
( ) (( ) ( ))
(( ) ( ))
(( ) ( ))
( ) 1
Aufgabe 5
Wir zeigen zunchst, dass es fr jedes k, k-instabile Formeln (1 , . . . , ) mit k Variablen
= 1 (2 , _, )
I |= = I(1 ) = 1
Die nderung der Wahrheitstabelle von 1 ,, ndert dagegen von 1 und damit JKI
Fr gerade k ex. keine k-instabile Formel (1 ,, ) mit > Variablen
A : () = ungrade k
Sei (1 ,, , +1 , . . . , ) k-instabil
Sei I ( ) =
1.Fall: 1I1 fr {1,, + 1} {} 2.Fall: I1 ( )fr {} { + 2, ,}
I unterscheidet sich von I1 an genau k Variablen.
Da k-instabil I |= gerade
Insbesondere I+1 |=
(k gerade)
Aber I+1 = I0
Von I0 , I1 , . . . , bis zu I+1 wurde der Wahrheitswert jeder Variable ( + 1) gerade k Mal
gendert und der von fr > + 1 mal
Fr ungerade k gibt es k-instabile Formeln
(1 ,, ) alle , nmlich
:= 1 2 . . .
paritt(I)=
1.Fall: 1 |{2 : I(2 ) = 1}|
2.Fall: 0
I |= paritt(I) = 1
Lemma Wenn I und I sich an einer ungeraden Zahl an Variablen unterscheiden, dann paritt(I) =
paritt(I )
(Induktion offensichtlich. Wenn I, I sich an einer Vairablen unterscheiden, dann paritt(I) =
paritt(I )
Wenn sie sich an genau zwei unterscheiden, dann paritt(I) = paritt(I )
2
Wenn sich I und I an 2 + 1( 1) Variablen unterscheiden, dann ex I , sodass sich I und I an
2 1 Variablen unterscheiden und I und I an zwei.
paritt() = paritt(I ) = paritt(I)
Also (1 ,, ) k-instabil fr alle ungerade
02. bung
Aufgabe 2
a)
[] [ (, , )] Fr alle Interpretationen I.
[ ] [ (, 0, )] [ ( (, , ), (0, 0, 0), (, , ))]
Zeige I |= F(, 0, )gdw.I |=
Wenn I |= , dann JF(, , )KI = 0
Wenn i |= , dann JF( (, , ), (0, 0, 0), (, , ))KI = JKI
Funktional vollstndig, da {, } funktional vollstndig.
b)Fr Tupel gilt {1, . . . , }
Sie ist monoton, wenn fr alle , {0, 1} mit bereits () ( ) gilt
Angenommen man keine eine nicht monotone Funktion kontruieren
Sei also = 0 und = 0 fr alle i
Dann ist existiert fr alle , {0, 1} mit mit () > ( ) und es muss eine Formel
existieren, sodass () erfllbar ist
IA
- = : (, ()) = 1 (, (0)) offensichtlich monoton
- = 1 (, ()) = 1 offensichtlich monoton
- =
(, ) = max( (, ), (, ))
(, ) = max( (, ), (, ))
Fall 1
(, ) = 0 (, ) (, ) = 0 in jedem Fall
Fall 2
(, ) = 1 1 oder (, ) = 1
(, ) = 1 oder (, ) = 1
max( (, ), (, )) = 1
(, ) (, )
- =
(, ) = min( (, ), (, ))
Fall 1
(, ) = 1 (, ) (, ) in jedem Fall
Fall 2
(, ) = 0 (, ) = 0 oder (, ) = 0
(, ) = 0 oder (, ) = 0
min( (, ), (, )) = 0
(, ) (, )
3
(, ) ist eine nicht monoton Funktion
Sei = und I1 () = 0 I2 () = 1
= (0), (1);
Aber (, ) = 1 > (, ) = 0
Wir knnen also {} nicht durch {0, 1, , } ausdrcken
{0, 1, , } ist nicht funktional vollstndig {, , 0, 1} ist nicht funktional vollstndig
Alternativ(nicht vollstndig) Bem. . ist nicht monoton
Sei eine AL-Formel, die nur aus Symbolen in {, , 0, 1} aufgebaut ist (und den Aussagenlogischen
Variablen)
Beh ist monoton
Bew Per Induktion ber den Aufbau von
(IA) Fr {0, 1} ist konstant und damit monoton X
Fr = , , dann ist auch monoton
(IS) Betrachte = 1 2 fr {, }
ZZ: ist monoton
Sei = (1 , . . . , ), das heit in kommen gerade k Variablen vor
Seien , {0, 1} beliebig mit Per IV sind 1 und 2 bereits monoton
Fall 0 X
Fall = genauso
Aufgabe 3
a)
Komplement
Modelle einer Horn-Formel sind unter Komplement nicht abgeschlossen
Betrachte Gegenbeispiel
Sei () = eine Horn-Formel
Betrachte Interpretation I() = 1
Dann gilt I() = 1 I |=
Bilde nun das Komplement von
I : (I)() 1 I() = 0
(I) |=
Also ist das Komplement von I kein Modell von
Schnitt
Modelle von Horn-Formeln sind unter Schnitt abgeschlossen
Wir nutzen die Struktur der Horn-Formeln aus:
Die Horn-Formeln knnen folgendermaen dargestellt werden = , wobei in folgender Form
auftreten knnen:
1. = 1 2 , . . . ,
2. = 1 2 , . . . , 0
Seien I1 undI2 Modelle einer Horn-Formel
Dann ist ausgeschlossen, dass I112 ( ) = 1 : 1 und I() = 0 gleichzeitig belegt ist
Denn das wrde Struktur 1 nicht erfllen knnen(1 0)
Das heit, wenn (I1 I2 )() = 0(oder die rechte Seite wie bei Struktur 2 gleich 0 ist), dann ist
auch I1 ( ) = 0 und I2 ( ) = 0 fr mindestens ein {1, . . . , }
4
Somit ist dann jede Teilformel erfllt, denn fr jede der Struktur 1 muss eine dieser quivalen-
zen gelten:
I {I1 , I2 , (I1 I2 )}
J KI 1 1
J KI 0 1
J KI 0 0
Damit wre jede Teilformel (und somit auch )
Vereinigung
Modelle von Horn-Formeln sind unter Vereinigung nicht abgeschlossen
Kontruiere Gegenbeispiel:
Sei (, ) = 0 eine Horn-Formel
Betrachte nun eine Interpretation I1 und I2 mit
I1 () = 0, I2 () = 1
I2 () = 1, I2 () = 0
I1 |= , I2 |=
(I1 () I2 )() = 1, (I1 () I2 )() = 1
(I1 I2 ) |=
b)
i) ( ( )) (( ) ( ))
( ( )) (( ) ( ))
( ) (( ) )
( )
1
() ist quivalent zu einer Horn-Formel.
ii)
Seien I1 , I2 : , , 0, 1 zwei Interpretationen von () mit I1 () = I1 ( ) = 1 und I1 () = 0,
sowie
I2 () = I2 () = 1 und I2 ( ) = 0.
Dann gilt I1 , I2 |= (), aber dann gilt mit der Interpretation (I1 I2 ) : , , 0, 1
so dass (I1 I2 ) |= (), mit (I1 I2 )() = 1 und (I1 I2 )( ) = (I1 I2 )() = 0.
Also ist () nicht quivalent zu einer Horn-Formel.
Aufgabe 4
a)
(12 , 13 , 14 , 15 , 23 , 24 , 25 , 34 , 35 , 45 ) =
12 13 14 15 23 24 25 34 35 45
b)
Idee ist, dass aus 2 Variablen die positiv sind, nicht die 3. positiv werden darf
() = ( )
,,
5
Aufgabe 5
a) Mit Hilfe des Erfllbarkeitstests fr Horn-Formeln aus VL testen, ob die folgende Folgerung gilt
Zusatz
Markierungsalgorithmus gibt fr Eingabe {} erfllbar aus Die gegebene Folgerungs-
beziehung gilt nicht
{ , , , } |= ( )
Mit bung 1.15h) aus der VL |= {} unerfllbar
( ( ))
( )
( )
( 0) (1 ) (1 ) Da linke Formelmenge eine KNF darstellt (die Kommata stehen
fr ) und gltige Horn-Formel ist, knnen wir die sich bildenden Mengen nach 1. vereinen
{} { , , , , 0, 1 , 1 }
0 = {, } { , , , , 0, 1 , 1 }
1 = 0 {} { , , , , 0, 1 , 1 }
2 = 1 {} { , , , , 0, 1 , 1 }
3 = 2 {} { , , , , 0, 1 , 1 }
4 = 3 die Formel ist erfllbar
Die Folgerung aus der Behauptung gilt nicht
b)Seien , Mengen von AL-Formeln und seien , AL-Formeln.
i) Wenn |= und , dann ist unerfllbar
Angenommen die linke Teilaussage ist wahr,
dann gilt fr jede Interpretation I, die erfllt, auch I |= , da gelten soll
Wegen |= gilt auch I |=
Somit gilt also I |= und I |=
Somit ist die Aussage wahr
ii)Wenn |= und |= , dann auch |=
Angenommen die linke Teilaussage ist wahr
Wegen |= gilt fr jede Interpretation I:
Wenn
I |= I |=
Mit |= gilt also
I |= I |=
Insgesamt gilt also
I |= I |= I |=
Da unter der Annahme jede Interpretation, die erfllt, auch erfllt, gilt |= und somit ist
die Aussage gezeigt
Musterlsung(nicht ausgeschrieben)
i) Zu zeigen: Wenn |= und , dann ist unerfllbar
Bew Angenommen I |= wre Modell
Weil muss I |= , aber aus |= und |= folgt schon I |=
ii) Wenn |= fr alle und |= ; dann gilt |=
Bew Sei I passend zu {} und I |= . Wir zeigen: I |=
I passt nicht unbedingt zu den Formeln in den
{ I : () ( ) () {0, 1}
Definiere
I() dom(I)
0 sonst
Koinzedenzlemma
I |= I |=
Zeige I |= . . .
6
03. bung
Aufgabe 2
Satz 1.22 (Resolutionssatz). Eine Klauselmenge K ist genau dann unerfllbar, wenn * (K )
a) Mit Hilfe Resolutionsmethode, ob Formel unerfllbar
= ( ) ( ) ( ) ( ) ( )
Dann ist
K () = {{, }, {, }, {, }, {, }, {, , }}
{, } {, } {, } {, , } {, }
{, } {, }
{ } { }
1 := ( ) ( ) ( ) ( ) ( ) 0
Dann ist
K = {{, }, {, }, {, }, {, , }, {, , }}
{, } {, , } {, } {, , } {, }
{, } {, }
{} {}
K = {{, }, {, }, {, }, {, }, {, , }, {, , }}
7
{, } {, } {, } {, , } {, , } {, }
{, } {, } {, }
{}
{}
Aufgabe 3
Doppelresolution analog definiert wie Resolutionsverfahren, jedoch neuer Resolventenbegriff: Seien
, 1 , 2 Klauseln. C heit Doppelresolution von 1 und 2 , falls es(nicht notw. verschiedene)
Literale , gibt, sodass {, } 1 , { , }
2 und
= (1 {, } (2 { , })
Bew. oder widerlege
a) Der Doppelresolutionskalkl ist vollstndig
Es gengt zu zeigen, dass jede Resolution auch als Doppelresolution ausgedrckt werden kann,
weil bewiesen ist, dass das Resolution Resolutionskalkl vollstndig ist.
Sei eine Klauselmenge C aus 1 () und 2 () ableitbar mit einem Literal 1 und
2 , * (())
= (1 { }) (2 { })
= (1 {, }) (2 {, })
ist Doppelresolvente von 1 und 2
Laut Vorlesung ist ein Beweiskalkl korrekt, wenn keine falschen Aussagen darin ableitbar sind(nur
fr unerfllbare Klauselmengen unerfllbar)
Angenommen es sei korrekt
1 := ( ) ( )
Dann ist = {{, }, {, }}
Und es ist 1 linke und 2 rechte Klausel
Die sich bildende Resolvente kann jedoch fr die Wahl von Y und Z verschieden sein = (1
{, } (2 { , })
und damit = und nach Resolutionssatz unerfllbar
Jedoch ist die Formelmenge erfllbar mit I0 : 1, 0
Somit ist der Doppelresolutionskalkl nicht korrekt.
Aufgabe 4
Zu Zeigen: (*) Wenn jeder endlicher Untergraph von G homomorph zu H
ist homomorph zu H.
""
Seien gegeben ein endlicher Graph = ( , ) und ein Graph = (, )
Auerdem seien alle endlichen Teilgraphen von G homomorph zu H.
8
Wir definieren folgende Variablen mit festen Wahrheitswerten
, {0, 1}
I( ) = 1 gdw (, )
I( ) = 1 gdw (, )
Der Graph G ist homomorph zu H, falls
={ ( ) |, , < } { |, }
, ,<
Abbildungseigenschaft
Homomorphismus Eigenschaft
erfllbar ist
Dafr gengt es zu zeigen, dass jede endliche Teilmenge 0 erfllbar ist.
Sei = {|( ) 0 }(die Menge der Knoten die von einem Homomorphismus abgebildet
werden)
Mit = {(, ) |, }
Da und endlich sind, bilden sie einen Untergraphen von G,0 = (, ), der homomorph zu h ist
mit dem Homomorphismus :
Definiere {
I wie folgt
1 () = ,
( ) =
0 sonst
|= { | } 0 = { | }
da jeder Knoten i von f genau einmal abgebildet wird
|= { ( ) | , < } 0
, ,<
da J K = 1 gdw
() = und
() = und
(, )
und folglich eine Kante (, )
|= 0 fr beliebige endliche 0
0 erfllbar fr beliebige endliche 0
erfllbar
es existiert ein Homomorphismus von G auf H
""
missing
Aufgabe 5
Betrachte {0, 1} die Menge der unendlichen 0-1-Wrter
Ein Flip-Set {0, 1} ist eine Menge von unendlichen Wrtern mit folgender Eigenschaft
Fr 2 Wrter , {0, 1} , die sich nur an einer Stelle unterscheiden, gilt entweder oder
9
0 zerfllt ebenfalls in die beiden Mengen 1 und 0
= { | , }
1 und 2 teilen sich keine Aussagenvariablen und sind deshalb unabhngig lsbar.
Weil endlich gibt es eine Stelle n ab der [, ) = (, ) fr alle ,
{ Interpretation I mit
Sei nun eine
1 [1, ] hat eine gerade Anzahl 1en
I( ) = I |= , weil und sich in genau einer
0 [1, ] hat eine ungerade Anzahl 1en
Stelle unterscheiden fr alle
Folglich sind sowohl 1 als auch 0 erfllbar
0 erfllbar
Nach Kompaktheitssatz ist auch erfllbar {0, 1} hat ein Flip-Set.
04. bung
Aufgabe 2
a) Eine Schlussregel heit korrekt, wenn fr alle endlichen aussagenlogischen Formelmengen ,
und Formeln , , . . . aus der Gltigkeit der Prmissen die Gltigkeit der Konklusion folgt. Be-
weisen oder widerlegen Sie folgende Schlussregeln
i)
Die Schlussregel ist korrekt. Angenommen die Prmisse ist gltig. Dann gibt es zwei Mglichkeiten
fr die Interpretation:
1)
I |= , |= ( ).
Da I Modell von ist, und die Formel |= ( ) erfllt ist somit die Konklusion , ( ).
2)
I |= , ,
Laut Annahme folgt aus der Prmisse, dass aus mindestens eine Formel erfllt sein muss. Somit
gilt die Konklusion , ( ) auch in diesem Fall.
ii)
Die Schlussregel ist nicht korrekt.
Beweis: = = und = = und I eine Interpretation mit I() = 1.
ist gltig (I |= ),
Die Prmisse
aber I |= ( )
Die Konklusion ist also ungltig
b) Konstruieren Sie im Sequenzenkalkl einen Beweis oder eine falsifizierende Interpretation fr die
folgende Sequenz:
( ) ( ( ))
( ), ,
(),
(()),
(),(())
()(())
10
nachzuweisen, ob die folgende Formel erfllbar ist:
( ) ( )
Es existiert in den Blttern mindestens eine Sequenz mit disjunkten Variablenmengen, so z.B. die
Sequenz . Somit ist diese Sequenz (( ) ( )) nicht gltig ( kein
Tautologie), und somit ist die Formel erfllbar.
Erfllende Interpretation:
I() = 1
I() = 0.
Aufgabe 3
Die folgende Einschrnkung des Resolutionsbegriffs heit N-Resolution: Es darf nur dann eine Re-
solvente aus den Klauseln 1 und 2 gebildet werden, wenn eine der beiden Klauseln negativ ist.
Dabei heit eine Klausel negativ, falls sie kein positives Literal enthlt. a) Zeigen Sie, dass jede
Klauselmenge ohne negative Klauseln erfllbar ist
Sei K eine Klauselmenge ohne negativen Klauseln.
Betrachte eine Interpretation I mit I() = 1 fr alle .,
Da jede Klausel K ein positives Literal enthlt gilt dann auch I |= fr alle K.
Also ist K erfllbar.
Sei = {{, }{, }{, }{, }}. Dann liefert die N-Resolution:
{, } {, } {, } {, }
{ }
{} {}
Da 2 * () ist unerfllbar. Wir gehen davon aus, dass die N-Resolution korrekt ist, und
beweisen dies im Anschluss in c).
c) Zeigen Sie, dass der N-Resolutionskalkl korrekt ist: Wenn aus einer Klauselmenge K die leere
Klausel durch N -Resolution abgeleitet werden kann, dann ist K unerfllbar.
Wir bereits, dass der normale Resolutionskalkl korrekt ist. Der N-Resolutionskalkl ist aber
nur ein Spezialfall des normalen Resolutionskalkls. Wenn also eine leere Klausel aus dem N-
Resolutionskalkl ableitbar ist, dann ist es auch aus dem normalen Resolutionskalkl ableitbar.
Somit ist der N-Resolutionskalkl korrekt.
11
d) Zeigen Sie,dass der N -Resolutionskalkl vollstndig ist: Ist eine Klauselmenge K unerfllbar, so
lsst sich aus K durch N -Resolution ableiten.
Wir fhren den Vollstndigkeitsbeweis analog zum den Beweis des Resolutionssatzes 1.22 im Skript,
mit entsprechenden nderungen fr N-Resolution.
Sei eine unerfllbare Klauselmenge. Nach dem Kompaktheitssatz gibt es eine endliche unerfll-
bare Teilmenge 0 . Dann gibt es ein N, so dass 0 hchstens die Aussagenvariablen
0 , ..., 1 enthlt. Wir zeigen per Induktion nach , dass 2 * (0 ) * ().
Sei = 0. Es gibt nur zwei Klauselmengen ohne Aussagenvariablen, nmlich und {2}. Da die leere
Klauselmenge erfllbar ist, muss 0 = {2} sein. Fr den Induktionsschluss nehmen wir an, dass
alle Aussagenvariablen von 0 in {0 , ... } enthalten seien. Wir konstruieren zwei Klauselmengen
0+ und 0 , in denen nicht vorkommt:
0+ := { { } : / , 0 },
0 := { { } : / , 0 }
0+ und 0 sind unerfllbar. Andernfalls gbe es etwa eine Intepretation I, so dass J0+ KI = 1.
Erweitere I durch I( ) = 1 (analog I( ) = 0 fr J0 KI = 1) . Es gilt dann J0 KI = 1 im
Widerspruch zur Unerfllbarkeit von 0 .
Aus der Induktionsvorraussetzung folgt, dass 2 * (0+ ) und 2 * (0 ). Also gibt es
Klauseln 1 , 2 , ..., , so dass = 2, und fr = 1, ..., gilt 0+ oder ist Resolvente
von , fr , < . Einige Klauseln knnen aus Klauseln in 0 durch streichen von
entstanden sein. Wenn nicht, dann sind 1 , ..., auch in * (0 ), also 2 * (0 ).
Wenn ja, erhalten wir durch Wiedereinfgen von eine Folge von Klauseln 1 , ...,
, welche
*
beweist, dass { } (0 ):
() { }
{ }
Eine so erweiterte oder abgeleitete Klausel oder bleibt negativ, fall sie bereits negativ war.
Also ist mithilfe der Induktionsannahme { } * (0 ).
Betrachte nun 0 :
Sollte in 0 kein gestrichen sein so gilt bereits mit Induktionsannahme 2 * (0 )
* (0 ).
Ansonsten erweitern wir die Klauseln aus 0 , aus denen gestrichen wurde wieder um und
erhalten eine Menge 0 0 .
Da aber wir bereits wissen, dass { } * (0 ) ist, knnen wir zeigen, dass folgendes gilt:
* (0 ) * (0
{ }) * (0 ):
Betrachte dazu folgendes Schema:
{ }
Fr jedes 0 gilt somit dass entweder bereits in 0 ist, oder aber dass aus und { }
eine Klausel gebildet werden kann, die wieder in 0 liegt, sodass dann also * (0 )
12
* (0
{ }) * (0 ) gilt.
Nach Induktionsannahme ist 2 * (0 ), und folglich ist dann auch 2 * (0 ). 2
Musterlsung
N-Resolution
Eine Klausel ist negativ, wenn sie kein positives Literal enthlt
(a) Sei K eine Klauselmenge ohne negative Klauseln
Setze I : (K ) {0, 1}, 1
Sei
K eine beliebige Klausel. Dann enthlt (nicht negativ) eine Variable . Da I( ) = 1,
gilt I |= .
Also erfllt I jede Klausel aus K und damit auch K selbst
c) Zz N-Resolution ist korrekt
Zz Falls * (K ) K unerfllbar
Beweis sei in N-Resolution ableitbar, also ist auch in der normalen Resolution ableitbar. Da
Resolution korrekt ist, ist K unerfllbar
d) Falls K unerfllbar, dann * (K )
Beweis Zunchst fr endliche Klauselmengen K
Da jede einzelne Klausel endlich ist, enthlt K nur endlich viele Variablen
Induktion ber die Anzahl N der Variablen in K
(IA) = 0 :
- K =
- K {}, also sind wir fertig, da in 0 Schritten abgeleitet werden kann
(IS) + 1
Unserer Annahme: Fr unerfllbar Klauselmengen mit maximal n Variablen lsst sich ableiten
Sei also K eine Klauselmenge mit + 1 Variablen und sei (K ) beliebig
Definition
0 := { {}| , }
1 := { {}| , }
Zeige zunchst: 0 und 1 sind unerfllbar
Da die Flle symmetrisch zueinander sind, zeige zunchst fr 0
Angenommen 0 erfllbar, dann existiert eine Interpretation I mit I |= 0
Def. I : (K ) {0, 1} case1 I( ), =
case2 0, =
Wir zeigen nun I |= K
Sei eine beliebige Klausel ausK
1.Fall , dann gilt I |= , da I () = 0 2.Fall ; {} 0 .
Da I |= 0 , existiert ein Literal {}
Aus und {} folgt = =
I
Also ist JK =1
Also I |=
Also gilt I |= K , da K unerfllbar
Also ist 0 unerfllbar (1 analog)
Aus (IV) (da 0 , 1 unerfllbar mit maximal n Variablen) folgt, dass wir aus 0 und 1 jeweils
ableiten knnen.
Es existiert also eine Folge 1 , 2 , . . . , = , sodass fr alle i gilt:
1. 0 oder
2. ist N-Resolvente von 1 , 2 mit 1 1 , 2 <
Somit lsst sich dann eine weitere Folge konstruieren
1 , 2 , . . . , mit = oder = {}
1. K oder
2. ist N-Resolvente von 1 , 2 und 1 2 , 1 <
13
1.Fall = = ; Fertig
2.Fall = {} Dann kann man mit N-Resolution aus den Klauseln { K | {} 1 }
K jede Klausel aus 1 ableiten, indem die Resolventen mit der negativen Klausel {} bildet
Also haben wir alle Klauseln aus 1
Zur Verfgung nach (IV) kann aus 1 kann aus 1 die leere Klausel abgeleitet werden.
Fertig fr endliche Klauselmengen
Fr unendliche folgt die Behauptung aus dem Kompaktheitssatz
Aufgabe 4
Sei = { : N} Zeigen oder widerlegen Sie, dass es eine Formelmenge gibt, welche
genau dann durch eine Interpretation I( ) = 1 fr unendlich viele Variablen gibt
05. bung
Aufgabe 2
a) Geben Sie alle Substrukturen von (N, ) und von (N, ) an, wobei : N N die Nachfolger-
funktion auf N ist, das heit () = + 1
Sei die Menge () fr ein N induktiv definiert wie folgt:
1.
2. + 1
Dann folgt () N N
Dann ist ( (), ) eine Substruktur von (, ) N
Fr jedes N ist (, ) eine Substruktur von (N, )
Musterlsung
Alle Substrukturen von (N, ):
Die Substrukturen sind gegeben durch (, ( )) fr = N
(N, ) mit () = + 1
Alle Substrukturen sind gegebn durch (, |) mit = { N| } und 0
b) Geben Sie alle Substrukturen der Strukturen (Z/6Z, +) sowie (Z/5Z, +) (mit Addition modulo
6 bzw 5) an
Substrukturen zu (Z/6Z, +): ({0, 1, 2, 3, 4.5}, +) ({0, 2, 4}, +) ({0, 3}, +) ({0}, +)
Musterlsung
({0 + 6Z}, +) ({0 + 6Z, 2 + 6Z, 4 + Z}, +) ({0 + 6Z, 3 + 6Z}, +) ({Z/6Z}, +) Substrukturen zu
14
(Z/5Z, +): ({0, 1, 2, 3, 4}, +) ({0}, +)
Musterlsung
({0 + 5Z}, +) ({Z/5Z}, +)
Aufgabe 3
Wir betrachten die Struktur R = (R, +, , R ) der Signatur = {+, , } mit der blichen Addition
und Multiplikation sowie R = N. Drcken Sie die folgenden Sachverhalte in ( ) aus. Achten
Sie dabei auf die freien Variablen Ihrer Formeln
.
= ..
(a) = 0
() = ( = )
(b) = + 1
1 () = ( = )
prft auf 1
(, ) = (1 () + = )
(c) ist eine irrationale Zahl
= Formel
Achtung Term
Wert Aussagewert
Nicht (, ) = ( = + 1 () )
wahr oder falsch
() = () ( () ( + )) ; ganze Zahl Z
x positiv x negativ
() = ( = () ())
Das sind die rationalen Zahlen!!, also schreiben wir
= irr () = ()
(d) x ist Nullstelle eines Polynoms mit ganzzahligen Koeffizienten vom Grad hchstens 3
= 0 1 2 3
( (3 + 2 + 1 + 0 )
3
( )
=0
( (0 ) (1 ) (2 ) (3 )))
(, ) = () ()
( () = ) () ; x teilt y ganzzzahlig
prime () = () 1 2
((1 = 2 ) y|x (1 , )
(2 , ) ( (, ) ( = 1 = 2 ))
) ; x ist Primzahl
15
() = (
prime () (, )
( (, ) prime () = )
Beschreibung1
)
Musterlsung
Nicht () = (prim () = )
n mal
(, ) = ( = )
() = () [1 () ( 1 () (, ) ( (, ) 1 () (, )))]
Aufgabe 4
Wir betrachten die folgenden Transitionssysteme = (, , , , ), 1 4 mit einstelligen
Relationen , , , also gerichtete Graphen mit Knotenbeschriftungen
Beschreiben Sie die Aussagen der Stze 1 , . . . , 5 in Worten und bestimmen Sie, in welchen der
Transitionssysteme 1 , . . . , 4 sie gelten(kurze Begrndung!)
1 := ( )
Aussage1: Zu jedem "R-Knoten" gibt es einen "P-Knoten"
1 gilt in 1 , 3 , 4
2 := ( ( ))
Aussage2: Von jedem "R-Knoten" gibt es eine ausgehende Kante zu einem "Q-Knoten"
2 gilt in 1 , 2
3 := ( ()) ( )
Aussage3: Es gibt einen "P-Knoten", der keine eingehende Kante hat und alle "R-Knoten" haben
Schlingen
3 gilt in 1 , 3
4 := (( ) (( ) ( )))
Aussage4: Fr jeden "P,Q-Knoten" gilt: Es gibt einen Knoten y und einen Knoten z, sodass falls y
ein "R-Knoten" ist und z ein "P-Knoten" ist, dann ist jeder Knoten "Q- oder ein R-Knoten"
4 gilt in 1 , 2 , 3 , 4
ist sogar Tautologie
Aufgabe 5
a)
Vorlesung ( = = ) =
erfllbar da (, ) = (Z, + 1)
A endlich fr
f injektiv surjektiv
"f injektiv"
"f nicht surjektiv"
nicht surjektiv injektiv
Alternative := = ( = = ) b)
Vorlesung Sei = { : }
mit = Z oder = {0, . . . , } fr ein Z := { : }
0 := 0 , +1 := 0 . . . +1
Wenn A |= , dann auch A |= (da |= )
wenn A |= , dann existiert das kleinste
mit A |= und es folgt
16
A |= fr <
A |= (= 0 1 )
wahr in A falsch in A
A |= fr >
(0 . . . ) Somit ist glattes Axiomensystem und die Aussage gilt
falsch in A
falsch in A
wahr in A
Alternative Sei eine Klasse FO-axiomatisierbar durch eine Satzmenge zu einer endlichen Signatur
.
= {1 , . . . } ist abzhlbar
Wir konstruieren eine Satzmenge wie folgt:
1
:= ( )
=1
06. bung
Aufgabe 2
Formen Sie folgende Formeln zunchst in Negations-, dann in Prnex- und schlielich in Skolem-
Normalform um.
a)
:= [( = ) ( = )] ( = )
Negations-Normalform:
auflsen
[( = ) ( = )] ( = )
[( = ) ( = )] ( = )
[( = ) ( = )] ( = ) := NNF ( )
17
Prnex-Normalform:
NNF [( = ) ( = )] ( = )
[( = ) ( = ) ( = )] =: PNF ( )
Skolem-Normalform
Sei , Konstantensymbole sei () einstelliges Funktionssymbol, welche wir einfhren
Dann ist erfllbarkeitsquivalent zu
:= ( = ( ()() = ) ( = ) ( )
b)
() := (( ) ( = ))
Negations-Normalform:
() (( ) ( = ))
(( ) (() ( = )))
(( ) (() ( = ))) =: NNF () ( )
Prnex-Normalform:
NNF () (( ) (() ( = )))
(( ) (() ( = ))) =: PNF ()( )
Skolem-Normalform
Sei Konstantensymbol und () eine zweistellige Funktion, welche wir einfhren
Dann ist erfllbarkeitsquivalent zu
(( ) (() ( () = ))) ( )
Aufgabe 3
Sei A := ({0, 1, 2, 3}, , 1) eine Struktur mit einer zweistelligen Funktion := mod 4.
Wir betrachten die Formel := ( = 1 ( = = )).
a) Geben Sie den Spielgraphen fr das Auswertungsspiel auf A und an.
Negationsnormform:
:= ( = 1 ( = = ))
( = 1 ( = = ))
( = 1 (( = ) = ))
Aufgabe 4
Im folgenden sind <, , binre Relationssymbole und ist ein einstelliges Funktionssymbol. Geben
Sie fr folgende Modellklassen jeweils ein (wenn mglich endliches) FO-Axiomensystem an:
(a) 1 = {(, <) : < ist eine lineare Ordnung, die weder dicht noch diskret ist}
Laut Tutorium lineare Ordnung gegeben durch lin
max () = ( < )
18
min () = ( < )
:= {( )} { | N}
Also unendlich axiomatisierbar
(c) 3 = {(, ) : ist surjektiv, aber nicht injektiv }
Lsung zu Aufgabe 5a) aus Vorlesung kann benutzt werden
injektiv := ( = = )
nicht surjektiv := =
:= {nicht surjektiv , injektiv }
Also endlich axiomatisierbar
(d) 4 = {(, <) : < ist eine lineare Ordnung und es gibt unendlich viele fr die nur endlich viele
mit < existieren}
Anfangsstck, das zu (N, <) isomorph
4 := { : N, > 0}
lineare Ordnung
:= 0 . . . ( < +1 ( < 0 ( < < +1 ))
0< 0<
5 := {, ( )} { : N, > 0}
:= 1 . . . ( = )
1< {1,...,}{0,1,2} ()= ()
07. bung
Aufgabe 2
Sei A eine -Struktur. Eine Relation (fr N, 1) ist elementar definierbar, wenn es
eine Formel (1 , . . . , ) FO( ) gibt, sodass fr alle 1 , . . . ,
(1 , . . . , ) A |= (1 , . . . , )
Welche der folgenden Relationen sind in den angegeben Strukturen elementar definierbar?
Geben Sie entweder eine FO-Formel an, welche die gegebene Relation definiert, oder beweisen Sie,
dass es eine solche FO-Formel nicht gibt.
a) {2} in (N, +)
0 () := + =
19
< (, ) = ( + = = )
1 () = (< (, ) 0 ())
2 () := (< (, ) 1 ())
2 () definiert {2} in (N, +)
b) < in (N, )
missing
c) Q in (R, +)
missing
d) {1 2 : 1 , . . . , N sind paarweise verschiedene Primzahlen, 1} in (N, )
Seien
(, ) = ( = ) die Teilbarkeitsbeziehung
() = ( = (, ) (, ) ( (, ) = = )) die Primzahlen
() = [ () (, )] ( () ( , )
Ist elementar definierbar
e) {(, , ) R3 : +
2 = } in (R, )
Eine FO-Formel gibt es{nicht:
2 , 0
Sei : R R, () := 2
, < 0
ist bijektiv und ( )2 = 2 2 , also ( ) = () ().
Damit ist ein Automorphismus.
Angenommen (, , ) definiert {(, , ) R3 : + 2 = } in (R, ).
Nach Isomorphie-Lemma gilt:
(R, ) |= (5, 3, 4) gdw. (R, ) |= (52 , 32 , 42 ), im Widerspruch zur Annahme.
Aufgabe 3
a) Geben Sie einen Satz FO({}) an, der den folgenden gerichteten Graphen bis auf Isomorphie
definiert, das heit fr alle Graphen soll |=
= gelten.
:=(1 2 3 4
((3 , 1 ) (1 , 2 ) (2 , 4 ) (2 , 3 ) (3 , 4 ))
( = ) (, )
1<4
(( = 3 = 1 ) ( = 1 = 2 )
( = 2 = 4 ) ( = 2 = 3 ) ( = 3 = 4 )))
20
ML Es ist = (, ) mit = {1, 2, 3, 4} und = {(1, 2), (2, 3), (2, 4), (3, 4), (3, 1)}
4
= 1 . . . 4 ( = ( = ) )
= =1 (,) (,) 2
genau 4 Knoten
b) Kann man jede endliche -Struktur bis auf Isomorphie definieren? Oder geht dies nur unter
bestimmten Voraussetzungen?
Alternative Lsung
Das geht nur, wen endlich ist
Wenn endlich ist und A eine endliche Struktur, dann existiert eine Aufzhlung : {1, . . . , }
des Universums
Auerdem kann man die Signatur auflisten als = {1 , . . . , , 1 , . . . , }
Relationen Funktionen
Definiere A bis auf Isomorphie
= 1 . . . 4 ( = ( = ) (1 , . . . , ) (1 , . . . , )
= =1 =1 =1
genau n Knoten
Fr analog
Zeige Fr unendliche geht das nicht
Sei = { | N} wobei alle eindeutig sind
Wir zeigen, dass = ({}, ) nicht bis auf Isomorphie definiert werden kann
Beweis Da jede Formel endliche Lnge hat, knnen nur endlich viele der in vorkommen
{ = ({}, { })
Betrachte
{0}, falls in A
A :=
, sonst
Weil A |= A folgt mit Koinzidenzlemma
A |= A obwohl A = A
Aufgabe 4
Sei eine endliche Signatur und A eine -Struktur. Fr , schreiben wir , falls es einen
Automorphismus von A mit () = gibt.
a) Zeigen Sie, dass eine quivalenzrelation ist.
21
Reflexivitt
()
da =()
Symmetrie
da =()
()
Transitivitt
( () () (())
(()) = )
=
= ( ) ( ) ( )
Symmetrie
() := 1 , . . . ( = ( = ) (1 , . . . , ) (1 , . . . , ) = () )
= =1 =1 =1 [ ]
22
Aufgabe 5
a) Welche Automorphismen haben die folgenden (ungerichteten) Graphen?
08. bung
Aufgabe 2
Was ist jeweils die kleinste Zahl N fr die A B gilt? Geben Sie einen trennenden Satz
vom Quantorenrang sowie eine Gewinnstrategie fr den den Herausforderer bzw. die Duplikatorin
im Spiel (A, B) bzw.1 (A, B) an.
a) A := (N, +A , 1A := 7, 2A := 11) und B := (N, +B , 1B := 7, 2B := 15) wobei +A und +A
jeweils die Addition als 3-stellige Relation beschreiben.
23
- 2A 2B
whle 2B 2A
- 1 2
Whle = 8
Gewinnstrategie des Herausforderers im Spiel 3 (A, B)
1. H whlt 1 = 15
D muss 1 = 11 whlen
2. H whlt 2 = 5
D whle 2 beliebig
3. H whlt 3 = 10
D whlt 3 beliebig
2 + 2 + 2 = 11, weil 11 Primzahl ist
3
b) A := (Z, +A ) und B := (Q, +B ) wobei +A und +B jeweils die Addition als 3-stellige Relation
beschreiben.
:= (+)
qr() = 3 =
Gewinnstrategie der Duplikatorin D im Spiel 1 (A, B)
H whlt 1 /2 beliebig D whlt 2 = 1 /1 = 2
Gewinnstrategie des Herausforderers D im Spiel 2 (A, B)
H whlt 1 = 0
D antwortet mit 1 = 0
H whlt 2 = 21 Q
D kann 2 N beliebig whlen, 2 + 2 = 1 gilt niemals Herausforderer hat gewonnen
D antwortet mit 1 = 0
Herausforderer hat gewonnen, weil +000 aber nicht +333
Aufgabe 3
Sei eine endliche, relationale Signatur und eine Klasse von -Strukturen.
a) Zeigen Sie: Wenn es
1. eine -Struktur B gibt und
2. fr jedes N ein A existiert fr das die Duplikatorin das Spiel (A , B) gewinnt,
dann ist
3. nicht FO-axiomatisierbar, d.h. es gibt keine Formelmenge ( ) Mod() =
b) Benutzen Sie die Aussage aus a), um zu zeigen, dass := {(, ) : fr jedes gilt (, )
nur fr hchstens endlich viele } nicht FO-axiomatisierbar ist.
24
Sei wie in der Aufgabenstellung definiert.
Die Struktur B = (N, ) mit = {(0, )| N} unendlich.
Fr jedes N konstruieren wir eine Struktur A , welche A B
Sei A = ({0, . . . , }, A ) mit A = {(0, )| {0, . . . , }}
ist also nicht axiomatisierbar.
Aufgabe 4
Ein Graph G heit planar, wenn er in der 2-dimensionalen Ebene so gezeichnet werden kann, dass
keine zwei verschiedenen Kanten sich berschneiden. Beweisen Sie, dass es keinen Satz ()
gibt mit
|= ist ein planerer (ungerichteter) Graph
Hinweis: Betrachten Sie den folgenden planaren Multi-Graphen
(Ein Multi-Graph darf mehr als nur eine Kante zwischen zwei Knoten haben.)
G und den nicht-planaren Graphen H:
Konstruieren Sie nun zwei Familien ( )N und ( )N von on planaren bzw. nicht-planaren un-
gerichteten Graphen (keine Multi-Graphen!) und verwenden Sie dann die Methode von Ehrenfeucht
und Frass.
analog
Es gibt eine Gewinnstrategie der Duplikatorin 2 (1 , 1 )
1. Whlt den Mittelpunkt(5)
whlt auch den Mittelpunkt
25
- whlt einen Eckpunkt
whlt auch einen Eckpunkt
2. Whlt einen Eckpunkt(1,2,3,4)
whlt auch einen Eckpunkt(zB 1)
- whlt Mittelpunkt
whlt auch den Mittelpunkt
Aufgabe 5
Sei eine endliche Signatur und A eine -Struktur. Fr , schreiben wir , falls es einen
Automorphismus von A mit () = gibt. In der letzten bung ist fr endliche Strukturen A
gezeigt worden, dass
gilt, wobei () := |/ | die Anzahl der quivalenzklassen ist. Gilt dieser Zusammenhang
(1) ebenfalls fr alle unendlich groen Strukturen A, bei denen (A) unendlich (..(A) N) ist?
09. bung
Aufgabe 2(6 Punkte)
Zeigen Sie, dass die Schlussregel ( ) des Sequenzenkalkls korrekt sind. Beweisen Sie auer-
dem, dass die Regeln ( ), ( ) ohne die Zusatzbedingung, dass c in den anderen Formeln nicht
auftritt, nicht korrekt wre.
, ()
Gem Vorlesung ist ( )
, ()
Sei , () gltig und A |= fr eine -Struktur A.
Zz: A |= ( ) oder A |= ().
1.Fall Gilt offensichtlich.
26
2.Fall Nehmen wir an, dass A |= .
Wir whlen nun ein . Dadurch erhalten wir A = (A, A ) mit A = .
Damit gilt sowohl A |= als auch A |= .
A |= ()
A |= () fr ein beliebiges .
Seien = { = }, = ( = ) und = .
Damit wre die Prmisse ( = = ) gltig, die Konklusion ( = ( = ) ) aber nicht.
Die Schlussregel wre somit ohne die Zusatzbedingung nicht korrekt.
, ()
Gem Vorlesung ist ( )
, ()
Sei = = und () = ( = ).
Die Prmisse ( () ) ist gltig, die Konklusion ( ( = ) ) aber nicht.
Die Schlussregel wre somit ohne die Zusatzbedingung nicht korrekt.
:= ( )
R:2-stelliges Relationssymbol mit Semantik:
I() = 1 gdw "Person x rasiert Person y"
( )
( )
, ,
() ()
,
()
()
,
( )
( )
( ) 0
( )
( )
, () , ()
, (() ())
Nicht korrekt
:= , := , () := = , := =
, () , () = = gltig
27
, (() = ()) ( = = ) nicht gltig
b)
, (() (() = ))
, () , ()
korrekt
Annahme: obere Sequenz gltig
untere Sequenz ungltig
Wir leiten einen Widerspruch her
A |= A |= () A |=
A |= ()
A |= () (. . . )
Da aber A |= fr alle , folgt dass obere Sequenz ungltig
Grundterme in () 0 oder 1
enthlt
- alle Gleichungen =
- alle Gleichungen +3 0 = +3 1
- alle Atome 3+5
- alle Gleichungen 0 = + 1
b) Beschreiben Sie H() und die kanonische Struktur A() := H()
Fr = 0 ist dies
() = = +4 1 ( +3 1 ) , {0, 1}
+3 +3
nach IV is 0 = 1 = { 0 : N} { 1 : N}
4H() = (, h() , H() )
H() ( ) = +1
H() = { : = 0 oder = 3+3 }
c) Ist A() ein Modell von T?
A() = ()/
= A() |=
A |= ( )
d) Sei := {(( ))}(Dann ist auch der Abschluss von T unter Substitution)
Zeigen Sie: ist erfllbar, aber A() |=
Kanonisches Modell: R
[0 ] [ 0 ] [ 2 0 ] [ 4 0 ] [ 5 0 ] [ 1 ] [ 2 1 ]
[1 ] [ 1 ] [ 2 1 ]
erfllbar auch zB R zu = /
28
10. bung
Aufgabe 2
Welche der folgenden Theorien sind vollstndig?
Lemma 3.14 Eine Theorie ist vollstndig gdw alle ihre Modell sind elementar quivalent
(a) Die Theorie der diskreten linearen Ordnungen ohne Endpunkte.
Lsungsidee
Sei A := (, <), die T erfllt. Dann kann man per EF-Spiel zeigen, dass A elementar quivalent
(e..) zu (Z, <) ist.
Dabei gewinnt D mit Kopiere Abstand und grere/kleinere
keine Zwischenelemente
keine Endpunkte
Also sind alle Modelle von T elementar quivalent.
Also ist T vollstndig.
(b) Die Theorie der linearen Ordnungen ohne Endpunkte, bei der jedes Element einen direkten
Nachfolger besitzt.
Lsung
Lineare Ordnung ohne Endpunkte, jedes Element hat direkten Nachfolger
Auf einem Zeitstrahl haben wir (1, 1) < (1, 0) < (1, 1) < (1, 2) in {1}Z und (2, 0) < (2, 1) < (2, 2)
in {2} N
A = ({1} Z {2} N, <) mit (, ) < ( , ) wenn ( < ) oder (( = ) und = )
Dann jedes Element (, ) dann diverse Nachfolger (, +1). Aber (2, 0) hat keine direkten Vorgnger.
Sei weiter = (Z, <)
Setze := ( < ( < < ))
Nun gilt A |= , |= , A |= , |= .
29
Also sind nicht alle Modelle von T e.., das heit T ist nicht vollstndig.
(c) Die Theorie der quivalenzrelationen mit unendlich vielen quivalenzklassen, aber ohne endliche
quvalenzklassen.
:= ( )
Also gilt A2 |= , A1 |=
Also ist und nicht in der Theorie enthalten und somit ist die Theorie nicht vollstndig
Aufgabe 3
Sei A = (, <A ) eine lineare Ordnung. Wir schreiben A fr zwei , , wenn
endlich ist.
(a) Wir definieren (A) := (A , <(A) ) wobei A die Menge der A -quivalenzklassen ist und
[]A <(A) []A genau dann gelte, wenn <A fr alle []A und alle []A .
Zeigen sie, dass (A) wieder eine lineare Ordnung ist (fr jede lineare Ordnung A).
(b) Geben Sie zwei nicht isomorphe Ordnungen A1 , A2 an, so dass (A ) isomorph zu A (fr beide ).
A1 = ({}, )
A2 = (Q, <)
(A1 ) = A1
(A2 ) = (Q, <)
(c) Wir nennen eine lineare Ordnung A trivial, wenn (A) nur aus einem Element besteht. Kon-
struieren Sie nun eine lineare Ordnung A, so dass ((A)) eine nicht-triviale Ordnung ist, aber
30
(((A))) eine triviale Ordnung ist.
Aufgabe 4
Sei eine Signatur. Eine Theorie heit endlich axiomatisierbar, wenn
= () := { ( ) : |= }
T=Th(A) vollstndig
T vollstndig und A |=
Also ist Th(A)
Da T vollstndig ist = Th(A)
sonst existiert Th(A)
Dann wre Th(A)
(b) Sei nun eine endlich axiomatisierbare Theorie mit endlich vielen vollstndigen Erweiterungen.
Beweisen Sie, dass jede vollstndige Erweiterung von axiomatisierbat ist.
: Benutzen sie (a), um fr die vollstndige Erweiterung Modelle zu erhalten.
Gegenannahme
Es gibt vollstndige Erweiterung welche nicht endliche axiomatisierbar ist.
Dann knnen wir Folge 0 , 1 , . . . ,
Konstruiere sodass fr Axiomensystem 0 von
:= 0 {0 , . . . , 1 } |= fr alle n
A |= 0 {0 , . . . , 1 } { }
Setze := Th(A ) , vollstndig
Fr < ist =
Denn ,
Also existieren unendlich viele vollstndige Erweiterungen von T
Aufgabe 5
Sei eine abzhlbare Signatur und sei A eine -Struktur.Beweisen Sie, dass A elementar quivalent
zu einer abzhlbaren Substruktur von A ist.
: Benutzen sie die Aussage aus Tutorien, dass A mit abzhlbar vilenen Konstantensym-
bolen zu einer Struktur A expandiert werden kann, so dass (A ) eine Hintikka-Menge ist.
31
Es gilt A() = (analog Modell-Existenz Satz)
Es gilt A = ()/ mit gdw. =
Definiere A und zeige = A()
Sei dazu := {JK}A : ist und -Grundterm
Zeige: abgeschlossen unter Fk in
Sei J1 KA . . . J KA , k-stelliges Funktionssymbol
A
= J1 K = J 1 . . . KA
A
11. bung
Aufgabe 2
Sei eine Signatur und eine Klasse von -Strukturen. Die Komplementenklasse von ist
definiert durch := {A : A ist -Struktur und A / }. Zeigen sie: Wenn sowohl als auch
axiomatisierbar sind, dann ist sowohl als auch bereits axiomatisierbar.
Aufgabe 3
Geben sie fr die folgenden Klassen von Strukturen ein (wenn mglich endliches) Axiomensystem
oder widerlegen Sie jeweils die Existenz solcher (endlicher) Axiomensysteme.
a) Die Klasse der zu (R22 , +, ) isomorphen Strukturen.
Da solch ein abzhlbar(FO({+}) ist abzhlbar) wre, gilt nach , dass ein abzhlbares
Modell hat. Dies ist nicht isomorph zu (R22 , +, )
32
nicht FO-axiomatisierbar
b) Die Klasse der ungerichteten Graphen ohne unendlich groe Cliquen.
{(, +)|(, +)
= (Z/Z, +)} fr ein N {0}
Angenommen ax. , dann hat beliebig groe endliche Modelle.
Also hat nach LS auch ein unendliches Modell
nicht FO-axiomatisierbar
d) Die Klasse der zusammenhngenden, ungerichteten Graphen.
Angenommen ax.
:= { (, )| N}
mit 0 (, ) = ( = )
+1 = ( (, ) ), mit c und d seien neue Konstantensymbole
Dann ist unerfllbar.
Nach KS ex. endl. unerfllbares 0 .
Sei N, sodass (, ) fr alle
Betrachte := ({0, . . . , }, , , ) mit := {(, )|, , | | = 1}
: 20
:=
Dann ist Modell von 0
nicht FO-axiomatisierbar
e) Die Klasse {(, +) : (, +) ist isomorph zu (Z/Z, +) fr ein N {0} mit 713}.
{(, +)|(, +) = (Z/Z, +)} fr ein 713
Jede Struktur (Z, Z, +) ist eine endliche Struktur.
Nach bung 7A3b) ex. fr jedes N {0} ein FO({+}),
sodass |= gdw. = (Z, Z, +).
713
Also ist { } mit = =1 endliches Axiomensystem
f) Die Klasse der partiellen Ordnungen, die keine linearen Ordnungen sind.
33
Damit ist A keine Wohlordnung.
Die Klasse der Wohlordnungen (, <) ist also nicht axiomatisierbar.
Alternative
Es gilt nicht (, <) ist Wohlordnung (, <) besitzt kleinstes Element.
Gegenbeispiel: R 0, ( 1 ), N1
Angenommen ax.
Betrachte := { > +1 | N}
In jedem Modell |= wre ( )N eine unendlich absteigende Kette.
Also ist unerfllbar
Nach KS ex. endl. unerfllb. 0 .
Sei die menge der Konstanten, die in 0 vorkommen.
Wir setzen := (, < , ( ) ) mit := <
gdw. > .
Also ist Modell von 0
nicht FO-axiomatisierbar
Aufgabe 4
Fr eine Satzmenge FO( ) und zwei -Strukturen A, B schreiben wir A B, wenn A |=
B |= fr alle gilt. Eine Satzmenge FO( ) heit , wenn fr alle -Strukturen A, B
mit A B bereits A B gilt.
Eine boolsche Kombination von Stzen aus ist ein FO-Satz, der nur mit , , , (, ) und Stzen
aus konstruiert wird. Zum Beispiel ist (1 (2 3 )) 3 eine boolsche Kombination von
Stzen aus {1 , 2 , 3 , . . . }.
A := {A,B : B Mod()}.
stark
Zu zeigen: Jeder Satz FO( ) quivalent zu Bool. Kombination von Stzen aus
Sei = { : }
boolsche Kombination von Formeln aus sind boolsche Kombination von Formeln aus
Fr alle Paare von Strukturen A, mit A gilt A ( stark)
Dann ex. Satz {A mit A |= A, gdw. |= A,
A, A |= A,
Definiere A,
A, A |= A,
34
Wre |= , wrde Mod() gelten
Dann wre A, A
Aber dann |= A, , also |= A
0 0
A A mit A |=
Nach KS ex. endl.
Also ist A := 0 FO-Satz und boolsch. Kombination von Stzen aus .
A
Behauptung {A : A Mod} |=
Beweis Sei := {A : A Mod()} {}
Zeige: unerfllbar
Wre |= , wrde |= gelten
Also , also |=
Also unerfllbar
12. bung
Aufgabe 2
:= 1 . . . 1 . . .
quantorenfrei+relational
Beh eine erfllbare Formel dieser Gestalt hat ein Modell mit max. r Elementen
Bew Da erfllbar ist, ex. ein Modell A |=
Dann ex. 1 , . . . , mit A |= 1 . . . (1 , . . . , , 1 , . . . , )
Somit gilt auch A |= (1 , . . . , , 1 , . . . , ) mit 1 , . . . , {1 , . . . , }
Jetzt ist aber und damit auch A relational und {1 , . . . , } schon Universum einer Substruktur
A von A
Nach Konstruktion ist A ein Modell fr , denn A |= (1 , . . . , , 1 , . . . , ) mit 1 , . . . ,
{1 , . . . , }
Damit ist A Modell von und enthlt nur maximal r Elemente
Da in nur endlich viele Symbole vorkommen, ist () eine endliche (relationale) Signatur.
Generiere nun systematisch alle -Strukturen A mit Universum {1, . . . , } und prfe, ob A |=
Das sind nur endlich viele Mglichkeiten, da |{1 , . . . , }| = und es gibt nur endliche viele
Mglichkeiten zur Wahl der Relation
Aufgabe 3
a)
Jeder P-Nachfolger von v besitzt keinen Q-NF
( )
b)
35
v hat einen Q-NF mit min 2 verschiedene P-NF
Definiere := {(, ), (, ), (1 , ), (2 , )} Dann ist eine Bisimulation von 1 , |= gdw.
2 , |=
Daraus folgt Eigenschaft ist nicht definierbar, da sie in 1 gilt, in 2 aber nicht
c)
v besitzt Selbstkante
Betrachte := ({}, := {(, )}, := , := )
Knoten auf sich selbst
und := (N, , := , := ) mit := {(, + 1)| N}
Dann ist := {(, )| N} eine Bisimulation von nach . In hat v eine Selbstkante, in
hat 0 keine Selbstkante.
nicht definierbar
d)
Von v geht kein Pfad der Lnge 5, aber ein Pfad der Lnge 4 aus.
( ) ( )
Trivialer wre anzugeben
( )
Aufgabe 4
a)
= (, )
transitiv
E transitiv, P,v beliebig
Zu zeigen: (, , ), |=
(, , ), |=
dann ex. , , ,
(, , ), |= (, , ), |=
da E transitiv ist
36
E nicht symmetrisch
Also ex. , mit (, ) , (, )
Setze = {}
(, , ), |=
(, , ), |=
sonst (, , ), |= aber P gilt nur bei und
37