You are on page 1of 10

3.3.

4 Tautologie und Kontradiktion


63 3 Denition: Eine Formel heit allgemeing ultig (Tautolo-
gie), wenn sie f ur jede Belegung den Wert T annimmt.
Sie heit erf ullbar, wenn sie f ur mindestens eine Belegung
den Wert T annimmt.
Sie heit unerf ullbar (Kontradiktion), wenn sie f ur keine
Belegung den Wert T annimmt.
64 3 Beispiel: Ist die Formel
(P Q) (R P)
allgemeing ultig, erf ullbar, unerf ullbar ?
Erste Losung mittels Wahrheitstafel:
(P Q)
P Q R P Q (P Q) R P (R P)
F F F T F T T
F F T T F F T
F T F T F T T
F T T T F F T
T F F F T T T
T F T F T T T
T T F T F T T
T T T T F T T
Damit: allgemeing ultig (also auch erf ullbar), nicht unerf ullbar.
74
65 3 Beispiele:
75
3.3.5

Aquivalenzumformungen
66 3 Denition: Zwei Formeln F und G mit denselben Variablen
heien gleichwertig (aquivalent), Schreibweise F G,
wenn sie f ur jede Belegung denselben Wert annehmen.
Wichtige

Aquivalenzen:
Kommutativitat:
1. A B B A
2. A B B A
Assoziativitat:
3. (A B) C A (B C)
4. (A B) C A (B C)
Distributivitat:
5. (A B) C (A C) (B C)
6. (A B) C (A C) (B C)
Idempotenz von und :
7. A A A
8. A A A
de Morgansche Regeln:
9. (A B) A B
10. (A B) A B
doppelte Verneinung:
11. (A) A
76
K urzungsregeln:
12. A K A, falls K Kontradiktion
13. A T A, falls T Tautologie
Implikationsregel:
14. A B A B
Beweis: Wahrheitstafeln.
Mit diesen

Aquivalenzen lassen sich Formeln in gleichwertige um-
formen.
67 3 Beispiel:
Ist die Formel
(P Q) (R P)
allgemeing ultig, erf ullbar, unerf ullbar ?
Zweite Losung mittels

Aquivalenzumformungen:
77
68 3 Quiz: Zeige mit Umformungen: Die Formel (A B)
((A B)) ist gleichwertig mit (A B) (B A):
69 3 Denition: Die in Quiz 68 betrachtete Formel heit exklu-
sives oder (Antivalenz, XOR):
A B A XOR B
F F F
F T T
T F T
T T F
78
3.3.6 Disjunktive und konjunktive Normalform
70 3 Denition: Ein Literal ist eine atomare Formel oder die
Negation einer atomaren Formel (positives bzw. negatives
Literal).
Eine Formel F ist in konjunktiver Normalform (KNF),
wenn sie eine Konjunktion von Disjunktionen von Literalen
ist:
F =
n

i=1
_
_
m
i
_
j=1
L
ij
_
_
,
wobei L
ij
{A
1
, A
2
, . . .} {A
1
, A
2
, . . .}.
Eine Formel F ist in disjunktiver Normalform (DNF), wenn
sie eine Disjunktion von Konjunktionen von Literalen ist:
F =
n
_
i=1
_
_
m
i

j=1
L
ij
_
_
,
wobei L
ij
{A
1
, A
2
, . . .} {A
1
, A
2
, . . .}.
71 3 Satz: F ur jede Formel F gibt es eine aquivalente Formel F
K
in KNF und eine aquivalente Formel F
D
in DNF.
Beweis: Z.B. in U. Schoning: Logik f ur Informatiker.
79
Herstellen der KNF mit

Aquivalenzumformungen:
1. Ersetze in F jedes Vorkommen einer Teilformel der
Bauart
G H durch (G H) (H G) ,
G H durch G H ,
G durch G ,
(G H) durch (G H) ,
(G H) durch (G H) ,
bis keine derartige Teilformel 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 derartige Teilformel mehr vorkommt.
Die resultierende Formel ist in KNF. Es kommen evtl. noch
uber ussige (aber in KNF zulassige) Disjunktionen vor, die
Tautologien sind.
80
Ablesen der Normalformen aus der Wahrheitstafel:
Eine Formel F habe die Wahrheitstafel
A B C F
F F F T
F F T F
F T F F
F T T F
T F F T
T F T T
T T F F
T T T F
F (A B C)
(A B C) (A B C)
(A B C) (A B)
(beides sind DNFen).
F
_
(A B C)
(A B C) (A B C)
(A B C) (A B C)
_
(A B C)
(A B C) (A B C)
(A B C) (A B C)
_
(A B C) (A B) (A B)
(A B C) (B)
(die letzten drei Formeln sind in KNF).
81
3.3.7 Verkn upfungsbasen
Sei B = {F, T}.
Durch eine Belegung wird jede Aussagevariable A ebenso wie
die ganze Formel auf ein Element von B abgebildet. Betrachtet
man alle moglichen Belegungen einer Formel mit n Variablen, so
entspricht dies also einer Funktion
F = f : B B
.
n-mal
=: B
n
B .
Gilt auch die Umkehrung, d.h. gibt es zu jeder solchen Funktion
auch eine entsprechende Formel ?
72 3 Satz: F ur jedes n N entspricht jeder Abbildung f :
B
n
B eine Formel der Aussagenlogik.
Beweis: Erstelle die Wahrheitstafel f ur f und daraus z.B. eine
DNF.
Bisher: F unf Junktoren (, , , , ).
Frage: Konnen alle mit mit diesen f unf Junktoren gebildeten For-
meln durch aquivalente Formeln mit anderen Junktormengen
(Verkn upfungsbasen) ersetzt werden ?
82
73 3 Satz: Jede aussagenlogische Formel ist aquivalent zu einer,
die nur und enthalt.
Beweis: Es gen ugt zu zeigen, wie man , und durch und
ersetzt.
1. :
A B (A B) (de Morgansche Regeln)
2. :
A B A B (Wahrheitstafel)
3. :
A B (A B) (A B) (W.-Tafel),
und lasst sich nach Teil 1) durch und ersetzen.
74 3 Satz: Jede aussagenlogische Formel ist aquivalent zu einer,
die nur und enthalt.
Beweis: Wegen Satz 73 gen ugt es zu zeigen, wie man ersetzt:
A B (A B) .
83
75 3 Denition: Die beiden Verkn upfungsbasen {, } und
{, } werden als de Morgan-Basen bezeichnet.
Weitere Verkn upfungsbasen:
Boolesche Basis: {, , }
Frege-Basis: {, }
NAND-Basis: {

}
NOR-Basis: {

}
Dabei: NAND-Verkn upfung: A

B (A B) und
NOR-Verkn upfung: A

B (A B).
A B A

B A

B
F F T T
F T T F
T F T F
T T F F
76 3 Quiz: Stelle A und A B nur mit Hilfe von

dar.
84
3.3.8 Aussagenlogik und Arithmetik
Identiziert man die Binarzier 0 mit F und die Zier 1 mit T,
so kann man arithmetische Operationen durch logische Formeln
beschreiben, z.B.
Addition zweier einstelliger Binarzahlen:
Z
0
+Z

0
= C
1
S
0
ergibt die Tafel
Z
0
Z

0
C
1
S
0
0 =F 0 =F 0 =F 0 =F
0 =F 1 =T 0 =F 1 =T
1 =T 0 =F 0 =F 1 =T
1 =T 1 =T 1 =T 0 =F
Also:
S
0
= Z
0
XOR Z

0
C
1
= Z
0
Z

0
85
Bei der Addition mehrstelliger Zahlen muss (auer bei der
letzten Zier) auch der

Ubertrag (Carry) aus der dahinter
liegenden Stelle ber ucksichtigt werden:
C
k
+Z
k
+Z

k
= C
k+1
S
k
ergibt die Tafel
C
k
Z
k
Z

k
C
k+1
S
k
F F F F F
F F T F T
F T F F T
F T T T F
T F F F T
T F T T F
T T F T F
T T T T T
Also:
S
k
= (C
k
Z
k
Z

k
) (C
k
Z
k
Z

k
)
(C
k
Z
k
Z

k
) (C
k
Z
k
Z

k
)
C
k
(Z
k
XOR Z

k
) C
k
(Z
k
XOR Z

k
)
C
k
XOR (Z
k
XOR Z

k
)
C
k+1
= (C
k
Z
k
Z

k
) (C
k
Z
k
Z

k
)
(C
k
Z
k
Z

k
) (C
k
Z
k
Z

k
)
(C
k
Z
k
) (C
k
Z

k
) (Z
k
Z

k
)
86
3.3.9 Aussagenlogisches Schlieen
77 3 Denition: Eine Formel F = F(A
1
, . . . , A
m
) heit logi-
sche Folgerung (Konklusion) von A = {A
1
, . . . , A
m
}, in
Zeichen
A |= F
(

F folgt semantisch aus A), wenn


A
1
A
2
. . . A
m
F(A
1
, . . . , A
m
)
eine Tautologie ist.
78 3 Bemerkung: Die Korrektheit eines logischen Schlusses A |=
F mit A = {A
1
, . . . , A
m
}, kann man pr ufen:
A
1
. . . A
m
F
muss unerf ullbar sein.
87
79 3 Beispiele:
a) Ist F(A
1
, . . . , A
m
) logische Folgerung von A
1
, . . . , A
m
,
so ist es auch logische Folgerung von A
1
, . . . , A
m
, B (f ur
eine beliebige Formel B), denn:
A
1
. . . A
m
B F(A
1
, . . . , A
m
)
(A
1
. . . A
m
B) F(A
1
, . . . , A
m
)
(A
1
. . . A
m
) (B) F(A
1
, . . . , A
m
)
(A
1
. . . A
m
) F(A
1
, . . . , A
m
)
.
L wegen A |= F
B
L
b) Ist F(A
1
, . . . , A
m
) logische Folgerung von A
1
, . . . , A
m
,
so ist auch F(A
1
, . . . , A
m
) B logische Folgerung von
A
1
, . . . , A
m
(f ur eine beliebige Formel B).
(Beweis: analog.)
Beim logischen Folgern d urfen Vorbedingungen durch starkere,
Nachbedingungen durch schwachere ersetzt werden.
88
3.3.10 Beweise, Regelschemata
Logische Beweise werden aus logischen Schl ussen aufgebaut.
Ein logischer Kalk ul gibt Regelschemata f ur logische Schl usse
an.
Ein Schema {F, G} |= F G notiert man auch
F
G
F G
bzw.
F, G
F G
Es bedeutet: Aus der G ultigkeit von F und G kann man schlieen,
dass F G gilt (denn F G F G ist eine Tautologie).
80 3 Beispiele:
a) Modus ponens (lat. ponere = setzen):
A, A B
B
b) Modus tollens (lat. tollere = aufheben):
A B, B
A
c) Reductio ad absurdum:
A B, A B
A
d) Kettenschluss:
A B, B C
A C
89
81 3 Beispiel: Ein Forscher trit 3 Personen, von denen zwei
immer l ugen und eine immer die Wahrheit sagt.
Er stellt an die erste Person a die Frage

Sagen Sie die Wahrheit ?


a:

Groom
b:

Groom heit Ja und a l ugt


c:

b l ugt ja selbst
Wer l ugt, wer sagt die Wahrheit, und was heit

Groom ?
90 91
92