Sie sind auf Seite 1von 56

Unendlichwertige Logiken

P. H. Schmitt: Nichtklassische Logik p.1


ukasiewicz Logiken
L
n
ukas
fr n 2 und n =
0
,
1
Menge W
n
der Wahrheitswerte
W
n
= 0,
1
n1
,
2
n1
, . . . , 1 n N
W
n
= das rationale Intervall [0, 1] n =
0
W
n
= das reelle Intervall [0, 1] n =
1
P. H. Schmitt: Nichtklassische Logik p.2
ukasiewicz Logiken (2)
Vokabular: , , , ,
Ausgezeichneter Wahrheitswert: 1
A = 1A
A B = min1, 1A+B
AB = maxA, B
AB = minA, B
A B = 1[ AB [
Taut(L
n
ukas
) = Menge der Tautologien in L
n
ukas
P. H. Schmitt: Nichtklassische Logik p.3
ukasiewicz Implikation
0
1
0.8
0.6
0.4
0.2
0
y
0
1
0.8
0.6
0.4
0.2
0
x
0
1
0.8
0.6
0.4
0.2
0
P. H. Schmitt: Nichtklassische Logik p.4
Wahrheitstabellen: Vergleich
A B
B A 1 u 0
1 1 1 1
u u 1 1
0 0 1 1
A B
B A 1 u 0
1 1 1 1
u u u 1
0 0 u 1
A B
B A 1 u 0
1 1 1 1
u = (
1
2
) u 1 1
0 0 u 1
P. H. Schmitt: Nichtklassische Logik p.5
Eigenschaften von Taut(L
n
ukas
)

ist (m1) ein Teiler von (n1)


dann gilt
Taut(L
n
ukas
) Taut(L
m
ukas
)
(Die Umkehrung wird spter gezeigt)

Taut(L

0
ukas
) = Taut(L

1
ukas
)

Taut(L

0
ukas
) =
T
Taut(L
n
ukas
) [ n 2, n N
P. H. Schmitt: Nichtklassische Logik p.6
Eigenschaften von Taut(L
n
ukas
)

ist (m1) ein Teiler von (n1)


dann gilt
Taut(L
n
ukas
) Taut(L
m
ukas
)
(Die Umkehrung wird spter gezeigt)

Taut(L

0
ukas
) = Taut(L

1
ukas
)

Taut(L

0
ukas
) =
T
Taut(L
n
ukas
) [ n 2, n N
P. H. Schmitt: Nichtklassische Logik p.6
Eigenschaften von Taut(L
n
ukas
)

ist (m1) ein Teiler von (n1)


dann gilt
Taut(L
n
ukas
) Taut(L
m
ukas
)
(Die Umkehrung wird spter gezeigt)

Taut(L

0
ukas
) = Taut(L

1
ukas
)

Taut(L

0
ukas
) =
T
Taut(L
n
ukas
) [ n 2, n N
P. H. Schmitt: Nichtklassische Logik p.6
Denierte Operatoren in L
n
ukas
A.B = A B = min1, A+B
AB = (A.B) = max0, A+B1
P. H. Schmitt: Nichtklassische Logik p.7
Der Operator
A.B = min1, A+B
0
0.2
0.4
0.6
0.8
1
x
0
0.2
0.4
0.6
0.8
1
y
0
0.2
0.4
0.6
0.8
1
P. H. Schmitt: Nichtklassische Logik p.8
Der Operator
AB = max0, A+B1
0
0.2
0.4
0.6
0.8
1
x
0
0.2
0.4
0.6
0.8
1
y
0
0.2
0.4
0.6
0.8
1
P. H. Schmitt: Nichtklassische Logik p.9
Iterierte Operatoren
F
m
A = A.A.. . . .A

m mal
F
m
A = AA. . . A

m mal
Es gilt:

F
m
A = min(1, mA)

F
m
A = 1min(1, m(1A))
P. H. Schmitt: Nichtklassische Logik p.10
Iterierte Operatoren
F
m
A = A.A.. . . .A

m mal
F
m
A = AA. . . A

m mal
Es gilt:

F
m
A = min(1, mA)

F
m
A = 1min(1, m(1A))
P. H. Schmitt: Nichtklassische Logik p.10
Behauptung
Die Formel
B
m
(A) =
F
m
A
F
m1
A
ist eine Tautologie in der Logik L
n
ukas
gdw
n m.
Wir betrachten zunchst zwei Beispiele:
P. H. Schmitt: Nichtklassische Logik p.11
Behauptung
Die Formel
B
m
(A) =
F
m
A
F
m1
A
ist eine Tautologie in der Logik L
n
ukas
gdw
n m.
Wir betrachten zunchst zwei Beispiele:
P. H. Schmitt: Nichtklassische Logik p.11
B
2
=AA A, m = 2
0
0.2
0.4
0.6
0.8
1
y
0 0.2 0.4 0.6 0.8 1
x
P. H. Schmitt: Nichtklassische Logik p.12
B
4
=
F
4
A
F
3
A, m = 4
0
0.2
0.4
0.6
0.8
1
y
0 0.2 0.4 0.6 0.8 1
x
P. H. Schmitt: Nichtklassische Logik p.13
Beweis
F
m
A
F
m1
A = 1 in L
n
ukas
(A W
n
)
gdw
min1, 1u+w = 1
mit u = min1, m A, w = min1, (m1) A
gdw
min1, m A min1, (m1) A
gdw
(m1) A 1 und A > 0 oder A = 0
gdw
A
1
m1
und A > 0 oder A = 0
gdw
n m
P. H. Schmitt: Nichtklassische Logik p.14
Beweis
F
m
A
F
m1
A = 1 in L
n
ukas
(A W
n
)
gdw
min1, 1u+w = 1
mit u = min1, m A, w = min1, (m1) A
gdw
min1, m A min1, (m1) A
gdw
(m1) A 1 und A > 0 oder A = 0
gdw
A
1
m1
und A > 0 oder A = 0
gdw
n m
P. H. Schmitt: Nichtklassische Logik p.14
Beweis
F
m
A
F
m1
A = 1 in L
n
ukas
(A W
n
)
gdw
min1, 1u+w = 1
mit u = min1, m A, w = min1, (m1) A
gdw
min1, m A min1, (m1) A
gdw
(m1) A 1 und A > 0 oder A = 0
gdw
A
1
m1
und A > 0 oder A = 0
gdw
n m
P. H. Schmitt: Nichtklassische Logik p.14
Beweis
F
m
A
F
m1
A = 1 in L
n
ukas
(A W
n
)
gdw
min1, 1u+w = 1
mit u = min1, m A, w = min1, (m1) A
gdw
min1, m A min1, (m1) A
gdw
(m1) A 1 und A > 0 oder A = 0
gdw
A
1
m1
und A > 0 oder A = 0
gdw
n m
P. H. Schmitt: Nichtklassische Logik p.14
Beweis
F
m
A
F
m1
A = 1 in L
n
ukas
(A W
n
)
gdw
min1, 1u+w = 1
mit u = min1, m A, w = min1, (m1) A
gdw
min1, m A min1, (m1) A
gdw
(m1) A 1 und A > 0 oder A = 0
gdw
A
1
m1
und A > 0 oder A = 0
gdw
n m
P. H. Schmitt: Nichtklassische Logik p.14
Beweis
F
m
A
F
m1
A = 1 in L
n
ukas
(A W
n
)
gdw
min1, 1u+w = 1
mit u = min1, m A, w = min1, (m1) A
gdw
min1, m A min1, (m1) A
gdw
(m1) A 1 und A > 0 oder A = 0
gdw
A
1
m1
und A > 0 oder A = 0
gdw
n m
P. H. Schmitt: Nichtklassische Logik p.14
Behauptung
Aus
Taut(L
n
ukas
) Taut(L
m
ukas
)
folgt
n m.
P. H. Schmitt: Nichtklassische Logik p.15
Beweis
Wie gesehen gilt: B
m
(A) L
n
ukas
gdw n m
Aus Taut(L
n
ukas
) Taut(L
m
ukas
) folgt n m.
weil anderenfalls
B
n
(A) Taut(L
n
ukas
) und B
n
(A) , Taut(L
m
ukas
)
P. H. Schmitt: Nichtklassische Logik p.16
Beweis
Wie gesehen gilt: B
m
(A) L
n
ukas
gdw n m
Aus Taut(L
n
ukas
) Taut(L
m
ukas
) folgt n m.
weil anderenfalls
B
n
(A) Taut(L
n
ukas
) und B
n
(A) , Taut(L
m
ukas
)
P. H. Schmitt: Nichtklassische Logik p.16
Beweis
Wie gesehen gilt: B
m
(A) L
n
ukas
gdw n m
Aus Taut(L
n
ukas
) Taut(L
m
ukas
) folgt n m.
weil anderenfalls
B
n
(A) Taut(L
n
ukas
) und B
n
(A) , Taut(L
m
ukas
)
P. H. Schmitt: Nichtklassische Logik p.16
Behauptung
In L
n
ukas
gilt fr jede Belegung v : AL
var
W
n
v(
F
n1
A) =

0 falls v(A) = 1
1 falls v(A) < 1
Zunchst wieder Beispiele:
P. H. Schmitt: Nichtklassische Logik p.17
Behauptung
In L
n
ukas
gilt fr jede Belegung v : AL
var
W
n
v(
F
n1
A) =

0 falls v(A) = 1
1 falls v(A) < 1
Zunchst wieder Beispiele:
P. H. Schmitt: Nichtklassische Logik p.17
AA
0
0.2
0.4
0.6
0.8
1
0 0.2 0.4 0.6 0.8 1
x
P. H. Schmitt: Nichtklassische Logik p.18
F
m1
A fr m = 3, 4, 5, 6
0
0.2
0.4
0.6
0.8
1
0 0.2 0.4 0.6 0.8 1
x
P. H. Schmitt: Nichtklassische Logik p.19
Beweis
Fr alle v : AL
var
W
n
gilt
v(
F
n1
A) = 1
gdw min1, (n1) (1v(A)) = 1
gdw (n1) (1v(A)) 1
gdw v(A)
n2
n1
Da fr jedes p W
n
mit p < 1 schon p
n2
n1
gilt, folgt die
Behauptung.
P. H. Schmitt: Nichtklassische Logik p.20
Behauptung
Fr die Formel
C
m1
= (
F
m1
A) (A. F
m2
A)
gilt
v(C
m1
) = 1 gdw v(A) =
m2
m1
P. H. Schmitt: Nichtklassische Logik p.21
C
3
0
0.2
0.4
0.6
0.8
1
0 0.2 0.4 0.6 0.8 1
x
P. H. Schmitt: Nichtklassische Logik p.22
C
5
0
0.2
0.4
0.6
0.8
1
0 0.2 0.4 0.6 0.8 1
x
P. H. Schmitt: Nichtklassische Logik p.23
Satz
Fr n, m N gilt:
Taut(L
n
ukas
) Taut(L
m
ukas
)
gdw
(m1) ist ein Teiler von (n1)
P. H. Schmitt: Nichtklassische Logik p.24
Beweis
Es ist nur noch die Richtung von oben nach unten zu beweisen.
Gelte also
Taut(L
n
ukas
) Taut(L
m
ukas
)
Wir zeigen zunchst, da dann gilt:
W
m
W
n
Angenommen, das sei nicht der Fall.
P. H. Schmitt: Nichtklassische Logik p.25
Beweis
Dann gilt
1
m1
,W
n
Denn sonst wre
1
m1
=
k
n1
und also fr alle Elemente von W
m
:
l
m1
=
l k
n1
W
n
im Widerspruch zur Annahme W
m
,W
n
P. H. Schmitt: Nichtklassische Logik p.26
Beweis
Da W
n
abgeschlossen ist unter der Funktion f (x) = 1x gilt auch
m2
m1
,W
n
P. H. Schmitt: Nichtklassische Logik p.27
Beweis
Schon gezeigt: Fr C
m1
= (
F
m1
A) (A. F
m2
A) gilt:
v(C
m1
) = 1 gdw v(A) =
m2
m1
Und:
v(
F
n1
B) =

0 falls v(B) = 1
1 falls v(B) < 1
Daraus folgt fr F =
F
n1
C
m1
:
v(F) =

0 falls v(A) =
m2
m1
1 sonst
P. H. Schmitt: Nichtklassische Logik p.28
Beweis
Wegen
m2
m1
,W
n
folgt also
F Taut(L
n
ukas
)
und wegen
m2
m1
W
m
F , Taut(L
m
ukas
)
im Widerspruch zur Annahme.
Damit ist
W
m
W
n
gezeigt.
P. H. Schmitt: Nichtklassische Logik p.29
Beweis
Aus
W
m
W
n
folgt insbesondere
1
m1
W
n
also
1
m1
=
k
n1
und damit
n1 = k (m1)
Also ist (m1) Teiler von (n1)
P. H. Schmitt: Nichtklassische Logik p.30
Der Satz von McNaughton
Eine reell-wertige Funktion f : [0, 1]
k
[0, 1] ist durch eine
L

1
ukas
-Formel denierbar, genau dann, wenn sie die folgenden
beiden Bedingungen erfllt:
1. f (x
1
, . . . , x
k
) ist stetig,
2. es gibt endlich viele lineare Polynome p
1
, . . . , p
s
von der Form
p
j
= b
j
+c
1
x
1
+. . . +c
k
x
k
mit Koefzienten b
j
Z und c
1
, . . . , c
k
Z,
so da fr jedes k-Tupel r
1
, . . . , r
k
) [0, 1]
k
ein 1 j s
existiert mit
f (r
1
, . . . , r
k
) = p
j
(r
1
, . . . , r
k
)
P. H. Schmitt: Nichtklassische Logik p.31
bungsaufgabe
Zeigen Sie, da in jeder ukasiewicz Logik L
n
ukas
die Operatoren
, und
durch die verbleibenden
,
deniert werden knnen.
P. H. Schmitt: Nichtklassische Logik p.32
bungsaufgabe
Zeigen Sie, da in jeder ukasiewicz Logik L
n
ukas
die Operatoren
, und
durch die verbleibenden
,
deniert werden knnen.
P. H. Schmitt: Nichtklassische Logik p.32
bungsaufgabe
Zeigen Sie, da in jeder ukasiewicz Logik L
n
ukas
die Operatoren
, und
durch
, .
deniert werden knnen.
P. H. Schmitt: Nichtklassische Logik p.33
bungsaufgabe
Zeigen Sie, da in jeder ukasiewicz Logik L
n
ukas
die Operatoren
, und
durch
, .
deniert werden knnen.
P. H. Schmitt: Nichtklassische Logik p.33
bungsaufgabe
Bestimmen Sie die Funktion f
m
(A), die von der Formel
F
m
A
F
m1
A auf dem rellen Intervall [0, 1] erzeugt wird.
P. H. Schmitt: Nichtklassische Logik p.34
bungsaufgabe
Bestimmen Sie die Funktion f
m
(A), die von der Formel
F
m
A
F
m1
A auf dem rellen Intervall [0, 1] erzeugt wird.
P. H. Schmitt: Nichtklassische Logik p.34
bungsaufgabe
Bestimmen Sie die Funktion g
m
(A), die von der Formel
C
m
= (
F
m
i=1
A) (A. F
m1
i=1
A) auf dem rellen Intervall [0, 1] erzeugt
wird.
P. H. Schmitt: Nichtklassische Logik p.35
bungsaufgabe
Bestimmen Sie die Funktion g
m
(A), die von der Formel
C
m
= (
F
m
i=1
A) (A. F
m1
i=1
A) auf dem rellen Intervall [0, 1] erzeugt
wird.
P. H. Schmitt: Nichtklassische Logik p.35
Unscharfe Logiken (Fuzzy logics)
f : [0, 1]
2
[0, 1] heit eine t-Norm (abkrzend fr triangular norm)
wenn sie die folgenden Eigenschaften erfllt:
1. f ist assoziativ und kommutativ,
2. fr alle 0 A B 1 und jedes 0 C 1 gilt f (A,C) f (B,C),
3. fr jedes 0 C 1 gilt f (C, 1) =C
f (A, B) heit linksstetig, wenn fr alle A, B [0, 1] und jede Folge A
i
mit 0 A
i
A und lim
i
A
i
= A gilt
lim
i
f (A
i
, B) = f (A, B)
P. H. Schmitt: Nichtklassische Logik p.36
Beispiele fr t-Normen
t-Norm Formel
f
G
(A, B) minA, B
f
L
(A, B) max0, A+B1
f
P
(A, B) A B
f
D
(A, B)

minA, B A = 1 oder B = 1
0 sonst
f
H

(A, B)
AB
+(1)(A+BAB)
f
Y
p
(A, B) 1min((1A)
p
+(1B)
p
)
1
p
, 1
P. H. Schmitt: Nichtklassische Logik p.37
F
f
Sei f eine linksstetige t-Norm. Die unscharfe Logik F
f
benutzt die
Junktoren
f
,
f
,
f
,
f
,
f
mit den Wahrheitswertverlufen:
A
f
B = f (A, B)
A
f
B = 1 f (1A, 1B)
A
f
B = maxC [ f (A,C) B

f
A = A
f
0
A
f
B = (A
f
B)
f
(B
f
A)
P. H. Schmitt: Nichtklassische Logik p.38
Eigenschaften linksstetiger t-Normen
1. A
f
B = 1 gdw A B
2. f (A, B) = 1 gdw A = B = 1
3. A
f
B = 1 gdw A = B
P. H. Schmitt: Nichtklassische Logik p.39
Tautologien in F
f
Fr jede linksstetige t-Norm:
1. (A
f
B)
f
((A
f
C)
f
(B
f
C))
2. (A
f
B)
f
((C
f
A)
f
(C
f
B))
3. (A
f
B)
f
((A
f
C)
f
(B
f
C))
4. A
f

f

f
A
5.
f
A
f

f

f
A
P. H. Schmitt: Nichtklassische Logik p.40