Sie sind auf Seite 1von 37

SS 16 Musterlsungen Mathematische Logik

August 26, 2016 jan.hafer@rwt-aachen.de

keine Garantie fr Vollstndigkeit oder Korrektheit

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

- = 0 (, ()) = 1 offensichtlich monoton


IV Es gelte die obige Behauptung
IS Seien , erzeugt aus {, , 0, 1}
Fr zwei fr und passende Belegungen w und w gelte <

- =
(, ) = 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

() = J()K = max(J1 ()K), J2 ()K)


1 ,2 monoton
max(J1 ( )K, J2 ( )K)
= J( )K = ( ) 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 () = {{, }, {, }, {, }, {, }, {, , }}

{, } {, } {, } {, , } {, }

{, } {, }

{ } { }

Die Formel ist somit unerfllbar.

b) Mit Hilfe Resolutionsmethode, ob Formel Tautologie ist


( ) ( ) ( ) ( ) ( )

0
Formel ist genau dann Tautologie, wenn Negation unerfllbar

1 := ( ) ( ) ( ) ( ) ( ) 0
Dann ist
K = {{, }, {, }, {, }, {, , }, {, , }}

{, } {, , } {, } {, , } {, }

{, } {, }

{} {}

Da  * (K ), ist 1 unerfllbar und wegen 1 0 ist 0 eine Tautologie

c) Es gilt {( ), ( ), ( ), ( ), ( )} |= genau dann,


wenn
{( ), ( ), ( ), ( ), ( )} {( )} unerfllbar ist.
Die Menge der Klauseln ist

K = {{, }, {, }, {, }, {, }, {, , }, {, , }}

Mit Resolution ergibt sich:

7
{, } {, } {, } {, , } {, , } {, }

{, } {, } {, }

{}

{}

Durch die Resolutionsmethode ergibt sich, dass {( ), ( ), ( ), ( ), (


)} ( ) unerfllbar ist, also gilt die semantische Folgerung.

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

Der Doppelresolutionskalkl ist vollstndig


b) Der Doppelresolutionskalkl ist korrekt.

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

Beweise, dass ein Flip-Set existiert

Wir definieren zu jedem Wort {0, 1} eine Aussagenvariable


auerdem (, ) = |{|() = ()}|
Sei = { |(, ) = 1}
{0, 1} hat ein Flip-Set genau dann, wenn erfllbar ist.
Um das zu zeigen, gengt es zu zeigen, dass jede (endliche) Teilmenge 0 erfllbar ist
Sei also 0 Teilmenge von
Sei = { | kommt in 0 vor }
V zerfllt in die beiden Mengen 0 und 1 , sodass (, ) endlich falls , und (, ) =
falls v und w aus verschiedenen

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:
( ) ( ( ))

( ), ,
(),
(()),
(),(())

()(())

Da { ( ), , } {} = gilt, ist ( ), , ein Axiom. Somit ist die Sequenz


( ) ( ( )) gltig.
Sequenz also gltig

c) Konstruieren Sie im Sequenzenkalkl einen Beweis oder eine falsifizierende Interpretation, um

10
nachzuweisen, ob die folgende Formel erfllbar ist:

( ) ( )

Sei := ( ) ( ). ist erfllbar genau dann wenn keine Tautologie.


Prfe also auf Gltigkeit.



()

()()

(( ) ( ))

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.

b) Zeigen Sie per N-Resolution, dass die Klauselmenge K = {{, }, {, }, {, }, {, }}


unerfllbar ist

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

Die Aussage gilt nicht.


Beweis
Angenommen es gibt so eine Formelmenge
Wir knnen eine Interpretation finden, fr die die Aussage nicht gilt.
Fall 1 besteht nur aus Tautologien.
Whle I so, dass I( ) = 1 nur fr endlich viele Elemente. Dennoch gilt I |=
Fall 2 Es gibt ein , sodass es eine Interpretation I |= gibt.
Weil endlich, ist () auch endlich.
Wir konstruieren ein I ()
{
I() ()
I : {0, 1}, I () =
1 (),
Es gilt I ( ) = 1 fr unendlich viele
Aber I |= , also I |=

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 )))

(e) x ist Primpotenz, das heit = fr eine Primzahl p und N

(, ) = () ()
( () = ) () ; 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

:= { | Es existiert ein j mit }


Behauptung 1: A |= A |=
Also Mod()=Mod()
Beweis: "" klar per Konstruktion
""
IA n=1 A |= 1 = 1
IV Wenn A |= {1 , . . . , }, dann A |= {1 , . . . , }
IS n+1: A |= {1 , . . . , }
Nach IV A |= {1 , . . . , }


+1 = ( ) +1
=1

nicht erfllt
A |= +1
A{1 , . . . , +1 }
axiomatisiert Behauptung 2: ist glatt
A |= fr alle A
Fr alle A , also A |= gibt es ein kleinstmgliches n, sodass
A |= und fr alle mit A |=
A |= fr alle <
A |= und A |= mit > , weil in allen Konjunktionen vorkommt.
Fr alle Strukturen wird hchstens ein Satz verletzt.
ist glatt. 

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

lin = ( < ) ( < < < ) ( < < = )



Irreflexivitt Transitivitt Vergleichbarkeit

Laut Tutorium dichte Menge gegeben durch dicht

dicht = ( < ( < < ))

Laut Tutorium Menge diskret gegeben durch diskret

max () = ( < )

18
min () = ( < )

diskret = (max () (( < ( < < ))))


(min () (( < ( < < ))))

= {lin , dicht , diskret }, also endlich axiomatisierbar


(b) 2 = {(, ) : (, ) ist ungerichteter Graph, der beliebig groe Cliquen enthlt}

:= 1 . . . ( ) es ex. Kante der Lnge n
=;1,

:= {( )} { | 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<

Also unendlich axiomatisierbar


(e) 5 = {(, ) : (, ) ist ein ungerichteter Graph, der 3-frbbar ist}
Hinweis: Aus der Vorlesung ist bekannt: Ein ungerichteter Graph ist genau dann k-frbbar, wenn
jeder endliche Untergraph k-frbar ist.

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?

Geht nur, wenn endlich ist.

Definierbar bis auf Isomorphie


Wenn = {0 , 1 , . . . } fr einstellige Relationssymbole , dann
A := ({0}, ( := {0})N )
nicht bis auf Isomorphie definiert werden denn:
Angenommen A wurde A bis auf Isomorphie definiert.

{ fr A := ({0}, ( ) ) wobei
Dann gilt
{0}, falls in A
A :=
, sonst
Weil A |= A folgt mit Koinzidenzlemma
A |= A obwohl A = A

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

( () () (())
(()) = )

=

Die Definition einer quivalenzrelation war wie folgt

= ( ) ( ) ( )

Symmetrie

= {(, )| ist eine quivalenzrelation} ist FO-axiomatisierbar.


b) Sei nun A eine endliche Struktur und bezeichne die Anzahl der -quivalenzklassen. Beweisen
Sie, dass
|{ : ist elementar definierbar in A}| = 2

Sei = {1 , . . . , } ein Reprsentantensystem fr (das heit || = 1 fr jede quivalenzklasse )


Behauptung Betrachte 1 () und 2 () und es gelte A |= 1 ( ) gdw. A |= 2 ( ) {1, . . . , }
Dann gilt: A |= 1 () gdw. A |= 2 ()
Beweis Sei beliebig. Dann existiert ein eindeutiges {1, . . . , } mit
Also existiert ein Automorphismus mit ( ) =
Mit dem Isomorphielemma folgt:
Isomorphielemma Vorraussetzung Isomorphielemma
A |= 1 () A |= 1 ( ) A |= 2 ( ) A |= 2 () Fr jede
Formel () FO( ) sei (()) := (J(1 )K, . . . , J( )K) {0, 1}
Wenn (1 ()) = (2 ()) gilt, dann folgt mit der Behauptung von oben, dass 1 () und 2 ()
dieselbe Menge definieren
Also knnen maximal 2 verschiedene Mengen definiert werden.
Zeige noch: Es sind wirklich 2 verschiedene Mengen definierbar.
Also Zz es ex. 2 nicht quivalente Formeln
Beweis Da und A endlich sind, gibt es eine Aufzhlung : {1, . . . , }
Auerdem gilt = {1 , . . . , , 1 , . . . , } mit , N
Nun geben wir eine Folge von Formeln an, ( ()){1,...,} , die quivalenzklassen definieren.





() := 1 , . . . ( = ( = ) (1 , . . . , ) (1 , . . . , ) = () )
= =1 =1 =1 [ ]

sagt aus, dass sich genauso verhlt, wie in A (analog )


Fr jede Menge {1, . . . , } ist nun () := () eine Formel mit (( ())) = 1

Also gibt es min |Pot({1, . . . , })| = 2 elementar definierbare Mengen

22
Aufgabe 5
a) Welche Automorphismen haben die folgenden (ungerichteten) Graphen?

b) Wie viele elementar definierbare Knotenmengen gibt es in 1 bzw. in 2 ?


1
Wir knnen 1, da nur 1 Kante, 3, da 3 Kanten und {2, 4, 5}, da 2 Kanten definieren.
Weiterhin knnen 4 einzeln definieren, da keine Verbindung zu 3 existiert, aber auch nicht die 1 ist.
Zwischen 2 und 5 kann man nicht unterscheiden und somit ergeben sich 24 = 16 elementar definier-
bare Knotenmengen.
2
Wir knnen 4 definieren, da dieser Knoten 4 ausgehende Kanten hat
1 und 3 haben 3 Kanten.
2 ist als einziger Knoten mit Knoten, die 4 und 3 Kanten hat, verbunden.
3 ist mit Knoten (5) verbunden, der nicht mit 1 und 4 verbunden ist.
1 ist mit Knoten verbunden, die wiederum mit 4 verbunden sind.
5 ist nicht mit 4 verbunden und hat 2 Kanten
Damit ergibt sich 6 aus dem Rest
Da jeder Knoten elementar definierbar ist, gibt es 26 = 64 Teilmengen
c) Zeigen Sie, dass 1 3 2 gilt.

d) Sei 4 die Klasse aller ungerichteten Graphen


(Ein Graph ist ungerichtet, wenn seine Kantenrelation symmetrisch ist und er gibt eine Selbstkanten
enthlt)
mit genau 4 Knoten. Fr jeden solchen Graphen 4 sei die Anzahl der elementar definier-
baren Knotenmengen in G. Welchen Wert hat max{ : 4 }?

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.

Herausforderer hat Gewinnstrategie fr = 3:


= 1 2 3 (+1 2 3 +2 1 3 2 3 )
qr() = 3 =
Gewinnstrategie der Duplikatorin im Spiel 2 (A, B)
- H whlt 1A 1B
whle 1B 1A

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() =

Angenommen ist axiomatisierbar mit , sodass = Mod()


Sei B und fr jedes N gibt es ein A mit A B
Es existiert also ein mit B |= .

Sei := qr(). Nach Vorraussetzung gibt es ein A fr das gilt A B


Das aber heien, dass A |= gdw B |=
ist also nicht axiomatisierbar.

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.

Angenommen es gibt einen solchen Satz ({}) mit |= gdw G planar.


Weil endlich ist, hat einen endlichen Quantorenrang := qr()
Nach Vorlesung muss der Herausforderer eine Gewinnstrategie fr das Spiel (G, H) haben, falls
G |= und H |=
Zunchst konstruieren wir uns die Familien
( )N und ( )N
1 = = ({1, 2, 3, 4, 5}, )
= ({1, . . . , 5} { |, {1, . . . , 5}, < , {1, . . . , 1}})
{(, 1 )|, {1, . . . , 5, 2 , 4 }, < , (, ) }
{( , +1 )|, {1, . . . , 5, 2 , 4 }, < , (, ) , {1, . . . , 2}}
{(1 , )|, {1, . . . , 5, 2 , 4 }, < , (, ) }

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

- whlt gegenberliegenden Eckpunkt(4)


whlt einen anliegenden Eckpunkt(2)

- whlt anliegenden Punkt(3,2)


whlt den gleichen anliegenden Eckpunkt(2)

Daraus ergibt sich unmittelbar eine Strategie fr das Spiel (1 , 1 )


Die Duplikatorin whlt die Hauptpunkte (1,2,3,4,5) entsprechend der obrigen Strategie und whlt
Zwischenpunkte ( ) mit gleichem Abstand k
Diese Gewinnstrategie fhrt zu einem Widerspruch
Einen solcher Satz kann also nicht existieren

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

| : ist elementar definierbar A| = 2(A)

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?

Sei A = (Z, <) + (Z, +)


= z {0, 1}
(, ) < ( , ), wenn < oder = 0 und = 1
Gibt es () mit (A, <) |= ((, )) = 0
Nein! (A, (, 0)) (A, ( , 1))

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 .

Die Schlussregel ( ) des Sequenzenkalkls ist somit korrekt.

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.

Aufgabe 3(7 Punkte)


Formalisieren Sie in der Prdikatenlogik die Aussage "Der Dorfbarbier x rasiert genau die Mnner
im Dorf, die sich nicht selbst rasieren." und beweisen Sie anhand des Sequenzenkalkls, dass es einen
solchen Barbier nicht geben kann. (Hinweis: Sie knnen annehmen, dass das Universum ein Dorf
ist.)

:= ( )
R:2-stelliges Relationssymbol mit Semantik:
I() = 1 gdw "Person x rasiert Person y"

( )
( )
, ,
() ()
,
()
()
,
( )

( )
( ) 0
( )
( )

Aufgabe 4(8 Punkte)


Beweisen oder widerlegen Sie die Korrektheit der folgenden Schlussregeln
a)

, () , ()
, (() ())

wobei c nicht in , auftreten darf.

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

Aufgabe 5(9 Punkte)


Sei = {0 , 1 , , } wobei 0 , 1 Konstantensymbole, f ein einstelliges Funktionssymbol und R ein
einstelliges Relationssymbol sind.
Sei ferner := 3 0 = 3 1 , 6 0 = 1 {0 , 3 1 }, die kleinste Menge, die T enthlt und
unter Substitution abgeschlossen ist, sowie die von induzierte Kongruenzrelation auf der Her-
brandstruktur H()
a) Beschreiben Sie

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.

Sei T die Theorie der diskreten linearen Ordnungen ohne Endpunkte.


Nehmen wir an T wre nicht vollstndig. Dann mssen zwei diskrete lineare Ordnungen ohne End-
punkte A, B mit A = (, <A ), B = (, B ) und A B. Wir definieren die Anzahl der Elemente
die zwischen , aus oder liegen ( < < , < entsprechend <A oder <B ) als (, ).
Fr , N und N schreiben wir = wenn = oder , ist.
: Die Duplikatorin kann nun so spielen, dass fr alle und fr nach Zgen
ausgewhlte Elemente 1 , ..., 1 , ..., ( , ) =2+1 ( , ) gilt.
= 0 und = 1 ist trivial.
Nehmen wir nun an die Behauptung sei nach Schritten erfllt.
Whlt der Herausforderer im ( + 1)-ten Zug ein Element +1 aus, so unterscheiden wir drei
Flle:
1. +1 > 1 , ..., . Die Duplikatorin spielt analog. 2. +1 < 1 , ..., .
Seien und die jeweils kleinsten ausgewhlten Elemente. Die Duplikatorin whlt +1 so, dass
+1 < und ( , +1 =2+1 ( , +1 . Da die Ordnung keine Endpunkte hat ist das immer
mglich. 3. < +1 < fr ausgewhlte , , so dass es kein a mit < < +1 oder +1 <
< gibt.
Nach Annahme ( , ) =2+1 ( , ) gilt, kann man +1 so whlen, dass ( , +1 ) =2
( , +1 und ( + 1, ) =2 (+1 , ) ist.
Analog gelten die drei Flle wenn der Herausforderer ein +1 auswhlt.
Es gilt also ( , ) =2 ( , ), < nach m Schritten, also = = und <
< .
Die Abbildung ist fr 1 ein lokaler Isomorphismus von A nach B.
Die Duplikatorin gewinnt also das Spiel (A, B). Da wir fr ein beliebiges nun eine Gewinnstrate-
gie fr die Duplikatorin fr jedes Spiel (A, B) angegeben haben muss die Theori der diskreten
linearen Ordnungen ohne Endpunkte vollstndig sein.

(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.

Betrachte die Strukturen A1 , A2 aus der Theorie


A1 = (Z Z, 1 ),
A2 = (Z Z, 2 )
quivalenzklasse 1 besteht aus 1 := {((1 , ), (2 , )) : , N}
quivalenzklasse 2 besteht aus 2 := {(( , ), ( , )) : , 4, , N}

:= ( )
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

{ : ( < und < ) oder < und < )}

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).

(, <) lineare Ordnung


[] < [], da < [IRREFLEXIV]
[] < [] < fr ,
[] < [] < fr ,
< fr , oder [] < []
[], [] [Vergleichbarkeit]
Wenn [] = [], dann < oder < und es gibt unendlich viele mit < < oder < <
Da gilt fr alle []

(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.

A = (, < ) = (, < ) ( , <+ )


(, ) < ( , ) < oder = und <
= (Z , < ) (1 , . . . , ) < (1 , . . . , )
Fr ein i = fr < : <
(Z ) = 1
(1 , . . . , ) (1 , . . . , ) 1 = 1 fr alle 1
4 : ((( 4 ))) = 1 trivial
(( 4 )) = 2 nicht trivial

Aufgabe 4
Sei eine Signatur. Eine Theorie heit endlich axiomatisierbar, wenn

= () := { ( ) : |= }

fr eine Menge ( ) gilt. Eine Theorie heit vollstndige Erweiterung von ,


wenn ist, und vollstndig ist. (a) Sei ( ) eine erfllbare Theorie. Zeigen Sie,
dass genau dann vollstndig ist, wenn = (A) fr eine -Struktur A gilt.

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.

Idee: Konstruiere Substruktur, die alle Grundterme interpretiert (abz.)


Benutze Hintikka-Menge um zu zeigen, dass elementar quivalent
Beweis
Bekannt: A kann mit abz. vielen Konstantensymbolen zu Str. A expondiert werden, sodass Th(A )
Hintikka-Menge
Sei := { Th(A ) : in reduzierter Form} auch Hintikka-Menge

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

abz, weil abzhlbar



Definiere Isomorphismus : ( )/ durch (JK ) := JKA
Zeige Isomorphismus

- wohldefiniert Wenn [] ) = [ ] fr , ( ) dann , dann = Th(A ), also



A |= = , also ([] ) = JKA = J KA = ([ ] )

- surjektiv Sei JKA . Dann ([] ) = JKA

- injektiv Sei ([] ) = ([ ] ) dann JKA = J KA und damit = Th(A ) und in . Dann
, also [ ] = []
Det
- sei k stellig, dann A() ([1 ] . . . ) = [ 1 . . . ]

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.

und := { | ist -Struktur, |= }


seien axiomatisierbar. Zz: und endlich axiomatisierbar
Beweis
Da und = Mod( )
axiomatisierbar, ex. und mit = Mod( ) und

Dann ist unerfllbar. Dann ex. nach KS eine endlich unerfllbare TM(Teilmenge)

Behauptung ist endliche Axiomensystem fr
endlich klar, da endlich ist
Zu zeigen bleibt: Mod( ) =
"" Es gelte Mod( ). Wir zeigen
Andernfalls gilt |= und daher |= ( )
( ) ( ) =
Das wre aber ein Widerspruch, da unerfllbar
Also und somit
"" sei . Dann gilt |=
Also Mod( ).
Also ist endliches Axiomensystem fr
Analog fr

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.

Mit KS: Angenommen wre axiomatisierbar durch


Betrachte := { = |, N, = }

unendlich groe Clique
ist unerfllbar
Nach KS ex. unerfllbares endlicehs 0
Sei C die Menge der Konstantensymbole, die in 0 vorkommen.
Definiere := (, , () ) mit := {(, )|, , = } und = .
Also ist Modell fr 0
nicht FO-axiomatisierbar
c) Die Klasse {(, +) : (, +) ist isomorph zu (Z/Z, +) fr ein N {0}}.

{(, +)|(, +)
= (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.

part := ( < ) (( < < ) < )


Also ist = {(part , ( < < = ))} ein endliches Axiomensystem fr
g) Die Klasse der Wohlordnungen (, <).
Nehmen wir an es gbe ein Axiomensystem der Klasse aller Wohlordnungen.
Sei auerdem = { | N} eine Menge von Konstentensymbolen.
Wir betrachten nun die Menge := {+1 < |, N}.
Sei 0 eine endliche Teilmenge. Dann muss eine Zahl 0 N existieren welche 0 {+1 <
|0 0 }.
Offensichtlich ist = 0 mit 0 + 1 Elementen fr 0 0 eine lineare Ordnung und ein Modell
von {+1 |0 0 } und damit auch von 0 .
0 ist erfllbar.
Aus dem Kompaktheitssatz folgt damit, dass auch erfllbar ist.
Sei nun A |= ein Modell. Dann gibt es in A eine unendlich absteigende Reihe A A A
0 > 1 > . . . >
... .

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 , . . . }.

stark: Wenn A , dann A a) Geben Sie zwei (verschiedene) Beispiele fr starke


Satzmengen an.

FO( ) , Th(A) fr A -Struktur, jegliche vollstndige Theorie



elementar quivalent
b) Sei nun FO( ) eine starke Satzmenge. Beweisen Sie, dass jeder Satz FO( ) quivalent
zu einer boolschen Kombination von Stzen aus ist.
: Betrachten Sie := { : }. Zeigen Sie nun, dass fr jedes Paar A, B von
Strukturen mit A B ein Satz A,B mit A |= A,B und B, |= A,B existiert. Betrachten Sie
fr jedes A |= die Satzmenge

A := {A,B : B Mod()}.

Machen Sie auerdem Gebrauch vom Kompaktheitssatz der Prdikatenlogik!

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,

Fr A |= Sei A := {A, : Mod()}


Ziel mit Kompaktheitssatz: A |= .
Mit KS ex. dann endliche Teilmenge 0A mit 0A |= Dann Beschrnkung auf endlich viele A
Behauptung A |=
Beweis Sei |= 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 

Nach KSex. endl. Teilmenge Mod() mit { : } |=*


Sei :=
Behauptung =
Beweis Sei A |= . Dann A |= und wegen (*)
A |= { : }
Also A |= f.e.

Dann A |= , also A |= =

Sei A |= =
Dann ex. mit A |=
Nach Def = mit 0 |= .
Damit A |=
Es gilt = 0 mit 0 fr alle


Also ist bool. Kombination von Stzen aus

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

Angenommen es ex. keine Kante


Also ex. , , mit (, )
(, ) , (, )
Whle = {}
Dann (, , ), |=
(, , ), |=
Also
b)
E reflexiv (, ) 
E reflexiv, , beliebig
Zu zeigen (, , ), |= 
wenn (, , ), |= 
da E reflexiv ist
da (, , ), |= an alle gilt (, , ), |=
E nicht flexiv. ALso ex. v mit (, ) .
Whle = {}
(, , ), |= 
(, , ), |=
also (, ) 
c)
= 
E symmetrisch, , beliebig
Zu zeigen: (, , ), |= X
Es gelte (, , ), |=
ist
Also (, , ), |= 

36
E nicht symmetrisch
Also ex. , mit (, ) , (, )
Setze = {}
(, , ), |=
(, , ), |= 
sonst (, , ), |= aber P gilt nur bei und

37