Sie sind auf Seite 1von 20

Prof. Dr.

Majster-Cederbaum
4 Einf uhrung in logische Konzepte
4.1 Aussagenlogik
4.1.1 Grundbegrie
Aussagenlogik verkn upft als atomar aufgefasste Aussagen und bestimmt deren Wahr-
heitsgehalt. Atomare Aussagen werden mit A
1
, A
2
, A
3
, . . . bezeichnet.
Denition 4.1 Syntax der Aussagenlogik.
Eine atomare Aussage A
i
, i {1, 2, 3, . . .} heit atomare Formel. Die Formeln der
Aussagenlogik werden deniert durch
Jede atomare Formel ist eine Formel.
Sind F, G Formeln, so sind (F G), (F G) Formeln.
Ist F eine Formel, so ist F eine Formel.
(F G) heit Konjunktion von F und G.
(F G) heit Disjunktion von F und G.
F heit Negation von F.
Eine Formel, die als Teil einer Formel auftritt, heit Teilformel.
Beispiel: ((A
5
A
6
) A
3
)
Schreibweise: Wir verwenden auch A, B, C statt A
1
, A
2
, A
3
, . . .
Abgeleitete Verkn upfungen:
(F
1
F
2
) := F
1
F
2
(F
1
F
2
) := (F
1
F
2
) (F
2
F
1
) (= ((F
1
F
2
) (F
1
F
2
))
_
n
i=1
F
i
:= (. . . (((F
1
F
2
) F
3
) F
4
) . . . F
n
)
_
n
i=1
F
i
:= (. . . (((F
1
F
2
) F
3
) F
4
) . . . F
n
)
Denition 4.2 Semantik der Aussagenlogik.
Die Elemente der Menge {0, 1} heien Wahrheitswerte. Sei D eine Teilmenge der
atomaren Formeln. Eine Belegung ist eine Funktion A : D {0, 1}.
Wir erweitern A zu einer Funktion A : E {0, 1}, wobei E D die Menge der
Formeln ist, die aus atomaren Formeln in D aufgebaut sind. Sei F, G E.
58 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
A D : A(A) = A(A)
A((F G)) =
_
1 , falls A(F) = 1 und A(G) = 1
0 , sonst
A((F G)) =
_
1 , falls A(F) = 1 oder A(G) = 1
0 , sonst
A(F) =
_
1 , falls A(F) = 0
0 , sonst
Konvention: Schreibe = A statt A.
Darstellung durch Wahrheitstafeln:
A(F) A(F)
0 1
1 0
A(F) A(G) A((F G))
0 0 0
0 1 0
1 0 0
1 1 1
A(F) A(G) A((F G))
0 0 0
0 1 1
1 0 1
1 1 1
Beispiel 1 Berechnung des Wahrheitswertes einer Formel
A(((A B) C)) = ?
1. Stelle Strukturbaum auf
2. Weise den Blattern Wahrheitswerte zu
3. Verwende Wahrheitstafeln
59 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum

A B
C
0
1
1
1 1 0
Denition 4.3 Sei F eine Formel, A eine Belegung.
Falls A fur alle in F vorkommenden atomaren Formeln deniert ist, heit A zu F
passend.
Ist A passend zu F und A(F) = 1, so schreiben wir A |= F und sagen F gilt unter
A oder A ist ein Modell fur F.
Ist A(F) = 0, so schreiben wir A |= F und sagen F gilt nicht unter A oder A
ist kein Modell fur F.
Eine Formel F heit erf ullbar, falls sie ein Modell besitzt, sonst unerf ullbar.
Eine Menge M von Formeln heit erfullbar, falls es eine Belegung A gibt, die fur
jede Formel F in M ein Modell ist.
Wir nennen F eine Tautologie, falls jede zu F passende Belegung ein Modell ist.
Wir sagen dann auch F ist gultig. Wir schreiben |= F, falls F eine Tautologie ist
und |= F, falls F keine Tautologie ist.
Satz 4.1 Eine Formel F ist eine Tautologie, g.d.w. F unerfullbar ist.
Beweis: F ist Tautologie
Jede zu F passende Belegung ist ein Modell fur F.
Jede zu F passende Belegung ist kein Modell fur F.
F besitzt kein Modell.
F ist unerfullbar.
4.1.2

Aquivalenzen und Normalformen
Denition 4.4

Aquivalenz
Zwei Formeln F und G heien aquivalent (schreibe: (F G)), falls fur alle Bele-
gungen A, die zu F und G passen, A(F) = A(G) gilt.
60 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
Beispiele 1
a) A A B B
b) A B B A
Satz 4.2 Seien F, G aquivalente Formeln (F G).
Sei H eine Formel, in der F vorkommt, H

die Formel, die entsteht, indem ein


Vorkommen von F durch G ersetzt wird. Dann ist H H

.
Beweis: durch Induktion uber den Formelaufbau von H.
Satz 4.3 Es gelten folgende

Aquivalenzen:
(F F) F
(F F) F
(F G) (G F)
(F G) (G F)
((F G) H) (F (G H))
((F G) H) (F (G H))
(F (F H) F
(F (F H) F
(F (G H) ((F G) (F H))
(F (G H) ((F G) (F H))
F F
(F G) (F G)
(F G) (F G)
F G F , falls F Tautologie
F G G , falls F Tautologie
F G G , falls F unerfullbar
F G F , falls G unerfullbar
Beweis: mit Wahrheitstafeln, z.B. fur (F (F G)) F :
61 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
A(F) A(G) A((F G)) A((F (F G)))
0 0 0 0
0 1 1 0
1 0 1 1
1 1 1 1
Denition 4.5 Normalform
Ein Literal ist eine atomare Formel oder die Negation einer atomaren Formel. Eine
Formel F ist in konjunktiver Normalform (KNF), falls sie eine Konjunktion von
Disjunktionen von Literalen ist, d.h. L
ij
{A
1
, A
2
, . . .} {A
1
, A
2
, . . .} und
F =
n

i=1
m
i

j=1
L
ij
= (L
11
. . . L
1m
1
) (L
21
. . . L
2m
2
) . . . .
F ist in disjunktiver Normalform (DNF), wenn
F =
n

i=1
m
i

j=1
L
ij
= (L
11
. . . L
1m
1
) (L
21
. . . L
2m
2
) . . . .
Satz 4.4 Fur jede Formel F gibt es eine aquivalente Formel in KNF und eine aqui-
valente Formel in DNF.
Beweis: durch Induktion.
IA : F atomar F in DNF und F in KNF
IS : Fall 1: F = G. Nach IA existiert G
1
in KNF, G
2
in DNF mit G
i
G.
G
1
=
n

i=1
m
i

j=1
L
ij
, L
ij
{A
1
, A
2
, . . .} {A
1
, A
2
, . . .}
F G
1

n

i=1
m
i

j=1
L
ij

n

i=1
m
i

j=1
L
ij
. .
DNF
, A
k
= A
k
, A
k
= A
k
Analog G
2
.
62 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
Fall 2: F = (G H). Es gibt G
2
, H
2
in DNF, G
2
G, H
2
H.
F G
2
H
2
Es gibt G
1
, H
1
in KNF:
G G
1
=
_
n
i=1
G
1i
H H
1
=
_
k
j=1
H
1j
F G
1
H
1
= (
_
n
i=1
G
1i
) (
_
k
j=1
H
1j
)

_
n
i=1
_
k
j=1
(G
1i
H
1j
)
Fall 3: F = (G H) analog.
Der Induktionsbeweis beinhaltet einen rekursiven Algorithmus zur Konstruktion ei-
ner KNF- bzw. DNF-Formel, die aquivalent ist zu einer gegebenen Formel F.
Algorithmus KNF
Eingabe: Formel F
Ausgabe: F

in KNF, F

F
1) Ersetze in F jedes Vorkommen der Bauart
G durch G
(G H) durch G H
(G H) durch G H
bis keine deartige Formel mehr vorkommt.
2) Ersetze jedes Vorkommen einer Teilformel der Bauart
F (G H) durch ((F G) (F H))
(F G) H durch (F H) (G H))
bis keine deartige Formel mehr vorkommt.
Liegt die Formel als Wahrheitstafel vor, so kann man aus dieser eine DNF- bzw.
KNF-Formel ablesen.
DNF
Jede Zeile der Tafel mit Wahrheitswert 1 entspricht einem Konjunktionsglied. Die
Literale dieser Konjunktion bestimmen sich wie folgt: Ist die Belegung von A
i
in der
63 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
Zeile 1, wird A
i
eingesetzt, sonst A
i
. F ur KNF vertausche man die Rollen von 0
und 1 sowie Konjunktion und Disjunktion.
Beispiel 1
A B C F
0 0 0 1
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 0
DNF: (A B C) (A B C) (A B C)
KNF: (ABC)(ABC)(ABC)(ABC)(ABC)
4.1.3 Hornformeln (nach Alfred Horn)
Denition 4.6 Eine Formel F ist eine Hornformel, falls F in KNF ist und jedes
Disjunktionsglied hochstens ein positives Literal enthalt.
Beispiele 2
a) F = (A B) (C A D) (A B) D E ist Hornformel.
b) G = (A B) (C D) ist keine Hornformel.
Man kann eine Hornformel als Konjunktion von Implikationen betrachten:
Beispiel 2
Sei F die obige Hornformel.
F (B A) ((C A) D) ((A B) 0) (1 D) (E 0)
Dabei steht 1 f ur eine Tautologie, z.B. (AA) und 0 f ur eine unerf ullbare Formel,
also z.B. (A A).
64 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
4.1.3.1 Bedeutung der Hornformeln:
Sei F eine beliebige Formel.
Pr uft man, ob F erf ullbar ist, dadurch, dass man sukzessive Belegungen durchrech-
net, hat das den Aufwand O(2
n
), wobei n die Anzahl der atomaren Formeln sei.
(SAT ist NP-vollstandig.)
F ur Hornformeln existiert ein Algorithmus, der Erf ullbarkeit ezient pr uft.
4.1.3.2 Algorithmus Erf ullbarkeit von Hornformeln (EH)
Eingabe: Hornformel F mit n atomaren Formeln.
Ausgabe: Belegung A mit A(F) = 1, falls existent, sonst unerf ullbar.
1) Versehe jedes Vorkommen einer atomaren Formel A mit einer Markierung,
falls es in F eine Teilformel (1 A) gibt.
2) while es gibt in F eine Teilformel G der Form ((A
1
. . . A
n
) B) oder
((A
1
. . . A
n
) 0), wobei die A
i
bereits markiert sind, B jedoch nicht do
if G hat erste Form dann markiere jedes Vorkommen von B
else gib unerf ullbar aus und halte an
3) Gib erf ullbar aus und halte an, eine Belegung ist gegeben durch A(A
i
) = 1
g.d.w. A
i
ist markiert.
Satz 4.5 Der Algorithmus EH ist korrekt und halt nach spatestens n Markierungs-
schritten an.
4.1.4 Kompaktheitssatz
Satz 4.6 Eine Menge M von Formeln ist erfullbar, g.d.w. jede endliche Teilmenge
von M erfullbar ist.
4.1.5 Resolution
Um zu zeigen, dass eine Formel F g ultig oder unerf ullbar ist, m ussen alle passenden
Belegungen uberpr uft werden.
Eine andere Moglichkeit, die G ultigkeit bzw. Unerf ullbarkeit einer Formel nachzu-
weisen, besteht darin, einen Kalkul anzugeben.
Ein Kalk ul besteht aus Ableitungsregeln der Form
Pramissen
Konklusion
65 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
Hat eine Regel keine Pramissen, so nennt man sie auch Axiom:
Konklusion
Ein Axiom ist ableitbar und sind die Pramissen einer Regel ableitbar, so ist die
Konklusion ableitbar.
Ist in einem Kalk ul eine Formel F ableitbar, so schreiben wir F.
Beispiel 3
F, F G
G
Modus Ponens
Ist F ableitbar und ist F G ableitbar, so ist G ableitbar.
Beispiel 4
Alle Menschen sind sterblich, Sokrates ist ein Mensch
Sokrates ist sterblich
x M(x) S(x), M(Sokrates)
S(Sokrates)
Ein Kalk ul (z.B. f ur G ultigkeit) sollte korrekt und vollstandig sein. Korrekt heit
hier, dass jede ableitbare Formel g ultig ist, wahrend vollstandig heit, dass jede
g ultige Formel ableitbar ist. In Formeln
|= F g.d.w. F
Da Ableitungen auf Formeln operieren, also syntaktische Gebilde manipulieren, kann
ein Kalk ul auf einem Rechner implementiert werden. ( Verier)
F ur Formeln, die in KNF vorliegen, gibt es einen einfachen Kalk ul f ur Unerf ullbar-
keit, der auf der Regel der Resolution beruht.
Sei F = (L
11
. . . L
1n
1
) . . . (L
k1
. . . L
kn
k
).
Wir schreiben F als Menge von Mengen
F = {{L
11
, . . . , L
1n
1
}, . . . , {L
k1
, . . . , L
kn
k
}}
F = {K
1
, . . . , K
k
}
66 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
K
i
= {L
i1
, . . . , L
in
i
} heit Klausel.
Ist K die leere Menge (von Literalen), so schreiben wir K = . K = ist nicht
erf ullbar.
Denition 4.7 Seien K
1
, K
2
Klauseln. Sei L K
1
und L K
2
. Die Resolutions-
regel ist
K
1
, K
2
K
1
\ {L} K
2
\ {L}
.
R = K
1
\ {L} K
2
\ {L} heit Resolvent von K
1
und K
2
nach L.
Beispiele 3
a)
{L}, {L}

b)
{A
3
, A
4
, A
1
}, {A
4
, A
1
}
{A
3
, A
1
, A
1
}
c)
{A
3
, A
4
, A
1
}, {A
4
, A
1
}
{A
3
, A
4
, A
4
}
Satz 4.7 Resolutionslemma
Sei F eine Formel in KNF, dargestellt als Klauselmenge. R sei Resolvent von
K
1
, K
2
F. Dann sind F und F {R} aquivalent.
Denition 4.8 Sei F = {K
1
, . . . , K
r
} eine Klauselmenge.
Res(F) = F {R : R ist Resolvent zweier Klauseln in F } und
Res
0
(F) := F
Res
n+1
(F) := Res(Res
n
(F))
Res

(F) :=

n0
Res
n
(F)
67 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
Bemerkung: Sei F endliche Klauselmenge, dann gibt es k 0 mit
Res
k
(F) = Res
k+1
(F) = . . . = Res

(F).
Satz 4.8 Resolutionssatz
Eine Klauselmenge F ist unerfullbar g.d.w. Res

(F).
Beweis:
Folgt aus Satz 4.3.
Durch Induktion uber die Anzahl der in F vorkommenden atomaren Formeln.
Algorithmus Resolution
Eingabe: F in KNF
Ausgabe: F ist unerfullbar, wenn F unerfullbar ist, andernfalls F ist erfullbar.
1) Bilde aus F eine Klauselmenge (ebenfalls F genannt)
2) n := 0; R[n] := F;
3) repeat
n := n + 1
R[n] := Res(Res[n 1])
until ( R[n] or R[n] = R[n 1])
4) if R[n] then F ist unerfullbar else F ist erfullbar
Beispiel 5
F = ((A B C) A) ((A B C) (A B))
Als Klauselmenge:
F = {{A, B, C}
. .
K
1
, {A}
. .
K
2
, {A, B, C}
. .
K
3
, {A, B}
. .
K
4
}
K
1
, K
3
R
1
= {A, B}
R
1
Res(F)
R
1
, K
4
R
2
= {A}
R
2
Res
2
(F)
68 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
K
2
, R
2

Res
3
(F)
Andere Darstellung: Resolutionsgraph
K
1
K
3
R
1
K
4
R
2
K
2

4.2 Pradikatenlogik
4.2.1 Grundbegrie
Die Pradikatenlogik ist eine Erweiterung der Aussagenlogik, dabei wird den atoma-
ren Aussagen Struktur verliehen mit Hilfe von
Variablen und Quantoren
Funktionssymbolen
Pradikatensymbolen
69 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
Beispiel 2
> 0 n
0
n n
0
|f(n) 1| <
Quantor
Variable
Pradikatensymbol Funktionssymbol 0-stellig
Funktionssymbol 1-stellig
Denition 4.9 Syntax der Pradikatenlogik
Gegeben seien
Variablen x
i
, i = 1, 2, 3, . . .
Pradikatensymbole P
k
i
, i = 1, 2, 3, . . . , k = 0, 1, 2, . . .
Funktionssymbole f
k
i
, i = 1, 2, 3, . . . , k = 0, 1, 2, . . .
Der Index k heit Stelligkeit von P
k
i
bzw. f
k
i
.
Terme werden induktiv deniert:
1) Jede Variable ist ein Term
2) Ist f ein Funktionssymbol der Stelligkeit k und t
1
, . . . , t
k
Terme, so ist f(t
1
, . . . , t
k
)
ein Term.
Formeln werden induktiv deniert:
1) Ist P ein Pradikatensymbol der Stelligkeit k und t
1
, . . . , t
k
Terme, so ist P(t
1
, . . . , t
k
)
eine Formel, genannt atomare Formel.
2) Sind F, G Formeln, so auch F, (F G), (F G).
3) Ist x eine Variable, F eine Formel, so sind x F, x F Formeln.
Alle Vorkommen einer Variablen in einer Formel werden in freie und gebundene
Variablen unterteilt. Ein Vorkommen von x in F heit gebunden, wenn es in einer
Teilformel von F der Art x F oder x F vorkommt. Andernfalls ist das Vorkommen
frei.
70 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
Beispiel 3
x > 0 y y < x x x < 0
frei
gebunden
Eine Formel ohne freie Vorkommen einer Variablen heit geschlossen.
Beispiel 4
x y x y y x
Denition 4.10 Semantik der Pradikatenlogik
Eine Strukur ist ein Paar A = (U
A
, I
A
), wobei U
A
eine beliebige, aber nicht leere
Menge ist, die die Grundmenge von A (oder das Universum) genannt wird. Ferner
ist I
A
eine Abbildung, die
jedem k-stelligen Pradikatensymbol P (das im Denitionsbereich von I
A
liegt),
ein k-stelliges Pradikat uber U
A
zuordnet;
jedem k-stelligen Funktionssymbol f (das im Denitionsbereich von I
A
liegt),
eine k-stellige Funktion auf U
A
zuordnet;
jeder Variablen x (sofern I
A
auf x deniert ist) ein Element der Grundmenge
U
A
zuordnet.
Mit anderen Worten, der Denitionsbereich von I
A
ist eine Teilmenge von
{P
k
i
, f
k
i
, x
i
| i = 1, 2, 3, . . . undk = 0, 1, 2, . . .},
und der Wertebereich von I
A
ist eine Teilmenge aller Pradikate und Funktionen auf
U
A
, sowie der Elemente von U
A
.
Wir schreiben abk urzend statt I
A
(P) einfach P
A
, statt I
A
(f) einfach f
A
und statt
I
A
(x) einfach x
A
.
Sei F eine Formel und A = (U
A
, I
A
) eine Struktur.
A heit zu F passend, falls I
A
f ur alle in F vorkommenden Pradikatensymbole,
Funktionssymbole und freien Variablen deniert ist.
71 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
Beispiel 6
F = xP(x, f(x)) Q(g(a, z)) ist eine Formel. Hierbei ist P ein zweistelliges und
Q ein einstelliges Pradikatensymbol und f ein einstelliges, g ein zweistelliges und a
ein nullstelliges Funktionssymbol. Die Variable z kommt in F frei vor. Eine zu F
passende Struktur ist z.B. A = (U
A
, I
A
) mit
U
A
= {0, 1, 2, . . .}
I
A
(P) = P
A
= {(m, n) | m, n U
A
und m < n}
I
A
(Q) = Q
A
= {n U
A
| n ist Primzahl}
I
A
(f) = f
A
= die Nachfolgerfunktion auf U
A
also f
A
(n) = n + 1,
I
A
(g) = g
A
= die Additionsfunktion auf U
A
also g
A
(m, n) = m+n,
I
A
(a) = a
A
= 2,
I
A
(z) = z
A
= 3.
Eine weitere Struktur ist gegeben durch A = (U
A
, I
A
), wobei U
A
die Menge der
variablenfreien Terme ist, die aus den Bestandteilen von F (also den Funktionssym-
bolen) aufgebaut werden konnen. F ur obige Beispielformel ware
U
A
= {a, f(a), g(a, a), f(g(a, a)), g(f(a), a)), . . .}
F ur jeden Term t U
A
sei f
A
(t) deniert als der Term f(t) U
A
, und f ur alle
Terme t
1
, t
2
sei g
A
(t
1
, t
2
) deniert als der Term g(t
1
, t
2
) U
A
. Ferner sei a
A
= a.
Denition 4.11 (Semantik der Pradikatenlogik - Fortsetzung)
Sei F eine Formel und A eine zu F passende Struktur. Fur jeden Term t, den man
aus den Bestandteilen von F bilden kann (also aus den Variablen und Funktions-
symbolen), denieren wir nun den Wert von t in der Struktur A, den wir mit A(t)
bezeichnen. Die Denition ist wieder induktiv.
1) Falls t eine Variable ist (also t = x), so ist A(t) = x
A
2) Falls t die Form hat t = f(t
1
, . . . , t
k
), wobei t
1
, . . . , t
k
Terme und f ein k-
stelliges Funktionssymbol ist, so ist A(t) = f
A
(A(t
1
), . . . , A(t
k
)).
Der Fall 2 schliet auch die Moglichkeit ein, dass f nullstellig ist, also t die Form
hat t = a. In diesem Fall ist also A(t) = a
A
.
Auf analoge Weise denieren wir (induktiv) den (Wahrheits-)Wert der Formel F
unter der Struktur A, wobei wir ebenfalls die Bezeichnung A(F) verwenden.
72 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
Falls F die Form hat F = P(t
1
, . . . , t
k
) mit den Termen t
1
, . . . , t
k
und k-
stelligem Pradikatensymbol P, so ist
A(F) =
_
1 , falls (A(t
1
), . . . , A(t
k
)) P
A
0 , sonst
Falls F die Form hat F = G hat, so ist
A(F) =
_
1 , falls A(G) = 0
0 , sonst
Falls F die Form hat F = (G H) hat, so ist
A(F) =
_
1 , falls A(G) = 1 und A(H) = 1
0 , sonst
Falls F die Form hat F = (G H) hat, so ist
A(F) =
_
1 , falls A(G) = 1 oder A(H) = 1
0 , sonst
Falls F die Form hat F = xG, so ist
A(F) =
_
1 , falls f ur alle d U
A
gilt : A
[x/d]
(G) = 1
0 , sonst
Falls F die Form hat F = xG, so ist
A(F) =
_
1 , falls es ein d U
A
gibt mit : A
[x/d]
(G) = 1
0 , sonst
Hierbei bedeutet A
[x/d]
diejenige Struktur A

, die uberall mit A identisch ist, bis auf


die Denition von x
A

: Es sei namlich x
A

= d, wobei d U
A
= U
A
- unabhangig
davon, ob I
A
auf x deniert ist oder nicht.
Falls fur eine Formel F und eine zu F passende Struktur A gilt A(F) = 1, so
schreiben wir wieder A |= F (Sprechweise: F gilt in A oder A ist Modell fur F). Falls
jede zu F passende Struktur ein Modell fur F ist, so schreiben wir |= F (Sprechweise:
F ist gultig), andernfalls |= F. Falls es mindestens ein Modell fur die Formel F gibt,
so heit F erfullbar, andernfalls unerfullbar.
Einige Begrie aus der Aussagenlogik wie Folgerung und

Aquivalenz konnen
nun in oensichtlicher Weise direkt in die Pradikatenlogik ubertragen werden. Wir
73 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
verwenden diese Begrie im Folgenden, ohne sie noch einmal explizit zu denieren.
Bemerkungen:
1) Vollig analog zum aussagenlogischen Fall lasst sich zeigen, dass f ur jede Formel
F gilt:
F ist g ultig genau dann, wenn F unerf ullbar ist.
2) Die Pradikatenlogik ist zwar ausdrucksstarker als die Aussagenlogik, jedoch
kann nicht jede mathematische Aussage im Rahmen der Pradikatenlogik for-
muliert werden. Wir erhalten eine noch groere Ausdrucksstarke, falls wir
auch Quantizierungen uber Pradikaten- und Funktionssymbole erlauben, z.B.
F = PFxP(f(x))
Dies ist der sog. Pradikatenlogik der zweiten Stufe vorbehalten (die wir hier
nicht behandeln wollen). Die oben denierte Pradikatenlogik heit auch Pradi-
katenlogik der ersten Stufe. Pradikate und Funktionen werden also als zweit-
stuge Objekte verstanden, wahrend die Elemente des Grundbereichts erst-
stuge Objekte sind.
4.2.2

Aquivalenzen und Normalformen
Der

Aquivalenzbegri der Aussagenlogik lasst sich in naheliegender Weise in die
Pradikatenlogik ubertragen: zwei pradikatenlogische Formeln F und G sind aquiva-
lent, falls f ur alle sowohl zu F als auch zu G passenden Strukturen A gilt
A(F) = A(G).
Wir beobachten zunachst, dass alle im aussagenlogischen Teil bewiesenen

Aquivalen-
zen auch in der Pradikatenlogik gelten. Z.B. gilt f ur alle pradikatenlogischen Formeln
F und G das deMorgansche Gesetz:
(F G) = (F G)
Um pradikatenlogische Formeln in gewisse Normalformen umzuformen, benotigen
wir jedoch auch

Aquivalenzen, die Quantoren mit einbeziehen.
Satz 4.9 Seien F und G beliebige Formeln.
i) xF xF
xF xF
74 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
ii) Falls x in G nicht frei vorkommt, gilt:
(xF G) x(F G)
(xF G) x(F G)
(xF G) x(F G)
(xF G) x(F G)
iii) (xF xG) x(F G)
(xF xG) x(F G)
iv) xyF yxF
xyF yxF
Denition 4.12 Sei F eine Formel, x eine Variable und t ein Term. Dann bezeich-
net F[x/t] diejenige Formel, die man aus F erhalt, indem jedes freie Vorkommen
der Variablen x in F druch den Term t ersetzt wird. Durch [x/t] wird eine Substi-
tution beschrieben.
Substitutionen (oder auch Folgen von Substitutionen) behandeln wir auch als selbstandi-
ge Objekte. So soll z.B.
sub = [x/t
1
][y/t
2
]
diejenige Substitution bedeuten, die in einer Formel (oder auch einem Term) jedes
freie Vorkommen von x durch t
1
und dann jedes freie Vorkommen von y durch t
2
ersetzt.
Satz 4.10 Zu jeder Formel F gibt es eine aquivalente Formel G in bereinigter Form.
Hierbeit heit eine Formel bereinigt, sofern es keine Variable gibt, die in der For-
mel sowohl gebunden als auch frei vorkommt, und sofern hinter allen vorkommenden
Quantoren verschiedene Variablen stehen.
Denition 4.13 Eine Formel heit pranex oder in Pranexform, falls sie die Bauart
hat
Q
1
y
1
Q
2
y
2
. . . Q
n
y
n
F,
wobei Q
i
{, }, n 1 und die y
i
Variablen sind. Es kommt ferner kein Quantor
in F vor.
75 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
Satz 4.11 Fur jede Formel gibt es eine aquivalente (und bereinigte) Formel G in
Pranexform.
Beweis: durch Induktion uber den Formelaufbau.
Denition 4.14 ( Skolemform)
Fur jede Formel F in BPF (bereinigt und in Pranexform) denieren wir ihre
Skolemform(-el) als das Resultat der Anwendung des folgenden Algorithmus auf
F.
Algorithmus Skolemform
Eingabe: Formel F in BPF
Ausgabe: F

in Skolemform (erf ullbarkeitsaquivalent)


while F enthalt einen Existenzquantor do
F habe die Form F = y
1
y
2
. . . y
n
zG f ur eine Formel G in BPF und n 0 (der
Allquantorblock kann auch leer sein);
Sei f ein neues, bisher in F nicht vorkommendes n-stelliges Funktionssymbol;
F := y
1
y
2
. . . y
n
G[z/f(y
1
, y
2
, . . . , y
n
)];
(d.h. der Existenzquantor in F wird gestrichen und jedes Vorkommen der Variablen
z in G durch f(y
1
, y
2
, . . . , y
n
) ersetzt.)
Satz 4.12 Fur jede Formel F in BPF gilt:
F ist erfullbar genau dann, wenn die Skolemform von F erfullbar ist.
Man beachte, dass die Umformung in Skolemform keine

Aquivalenzumformung ist
in dem Sinne, dass die entstehende Formel aquivalent zur Ausgangsformel ist. Es
liegt lediglich Erf ullbarkeitsaquivalenz vor: die entstehende Formel besitzt ein Modell
genau dann, wenn die Ausgangsformel ein Modell besitzt.
4.2.3 Unentscheidbarkeit
Beobachtung: Es gibt pradikatenlogische Formeln, die zwar erf ullbar sind, jedoch
nur unendliche Modelle besitzen (also solche mit unendlicher Grundmenge).
Man betrachte z.B. die Formel
F = xP(x, f(x)) yP(y, y) uvw((P(u, v) P(v, w) P(u, w)).
76 Diskrete Mathematik B
Prof. Dr. Majster-Cederbaum
Diese Formel ist erf ullbar, denn sie besitzt z.B. das folgende (unendliche) Modell
A = (U
A
, I
A
) mit
U
A
= {0, 1, 2, . . .},
I
A
= {(m, n) | m < n},
f
A
(n) = n + 1.
Diese Formel besitzt jedoch kein endliches Modell.
Denition 4.15 Ein (ja/nein-)Problem heit entscheidbar oder rekursiv, falls es
ein Rechenverfahren gibt (z.B. formuliert als Java-Programm), das angesetzt auf
Eingaben der zugrundeliegenden Problemstellung, immer nach endlicher Zeit stoppt,
und dann korrekt (in Bezug auf die Fragestellung) ja oder nein ausgibt. Andern-
falls heit ein Problem unentscheidbar.
Das folgende Problem heit Gultigkeitsproblem:
gegeben: Eine pradikatenlogisch Formel F.
Frage: Ist F eine g ultige Formel?
Satz 4.13 (Church)
Das Gultigkeitsproblem der Pradikatenlogik ist unentscheidbar.
Folgerung:
Das Erf ullbarkeitsproblem der Pradikatenlogik (gegeben: eine Formel F, gefragt: Ist
F erf ullbar?) ist unentscheidbar.
4.2.4 Pradikatenlogische Resolution
Seien s
1
, s
2
, sub Substitutionen.
{P(f(x)), Q(z), P(z)}s
1
, {P(x), R(g(x), a)}s
2
{Q(f(x)), R(g(f(x), a))}
sub
s
1
= [ ] s
2
= [x/u]
sub = [z/f(x)][u/f(x)]
Satz 4.14 Sei F eine Aussage in Skolemform mit Matrix F

in KNF. Dann ist F


unerfullbar, g.d.w. Res

(F

).
Matrix: Formel, in der Quantorisierungen (x, y) gestrichen sind.
77 Diskrete Mathematik B