Analysis

60 KAPITEL I. ALLGEMEINE GRUNDLAGEN
SkriptenBilder/BildVT.png
Man kann Verknüpfungen auf endlichen Mengen darstellen durch ihre
Verknüpfungstafel. Hier habe ich etwa die Verknüpfungstafel der
Verknüpfung min auf der Menge {0, 1, 2, 3, 4} angegeben. Eigentlich muß
man sich dazu einigen, ob im Kästchen aus der Spalte a und der Zeile b nun
a⊤b oder vielmehr b⊤a stehen soll, aber bei einer kommutativen
Verknüpfung wie min kommt es darauf zum Glück nicht an.
SkriptenBilder/Bildund.png
SkriptenBilder/Bildoder.png
Die Wahrheitstafeln für “und” und “oder”. Gemeint ist hier wie stets in der
Mathematik das “nichtausschließende oder”. Sagen wir, es gelte A oder B,
so ist insbesondere auch erlaubt, daß beides gilt. Bei der Wahrheitstafel für
das “ausschließende oder” müßte oben links als Verknüpfung von “Wahr”
mit “Wahr” ein “Falsch” stehen.