Entdecken Sie eBooks
Kategorien
Entdecken Sie Hörbücher
Kategorien
Entdecken Sie Zeitschriften
Kategorien
Entdecken Sie Dokumente
Kategorien
Auflage):
Die Äquivalenz der Aussagen ergibt sich aus der Gleichheit der entsprechenden Spalten der Wahrheitstafeln für
a) – h).
a) b) g) h)
A B A∧B B∧A A∨B B∨A ¬(A ∧ B) ¬A ∨ ¬B ¬(A ∨ B) ¬A ∧ ¬B
1 1 1 1 1 1 0 0 0 0
1 0 0 0 1 1 1 1 0 0
0 1 0 0 1 1 1 1 0 0
0 0 0 0 0 0 1 1 1 1
c) d) e) f)
A B C (A∧B)∧C A∧(B∧C) A∨(B∨C) (A∨B)∨C A∧(B∨C) (A∧B)∨(A∧C) A∨(B∧C) (A∨B)∧(A∨C)
1 1 1 1 1 1 1 1 1 1 1
1 1 0 0 0 1 1 1 1 1 1
1 0 1 0 0 1 1 1 1 1 1
1 0 0 0 0 1 1 0 0 1 1
0 1 1 0 0 1 1 0 0 1 1
0 1 0 0 0 1 1 0 0 0 0
0 0 1 0 0 1 1 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0
1.2 Zeigen Sie mit Hilfe einer Wahrheitstafel oder durch Äquivalenzumformung mit Hilfe von bereits bekannten
Aussagen die Wahrheit der folgenden logischen Gesetze:
a) A ⇔ (¬¬A) (Doppelte Negation)
b) A ∨ ¬A (Tertium non datur)
c) ¬(A ∧ ¬A) (Kontradiktion)
d) ((A ⇒ B) ∧ A) ⇒ B (Abtrennungsregel, modus ponens)
e) ((A ⇒ B) ∧ ¬B) ⇒ ¬A (Widerlegung, modus tollens)
f) ((A ⇒B) ∧ (B ⇒ C)) ⇒ (A ⇒ C) (Syllogismus)
Die wahre Aussage wird mit 1 bezeichnet. Wenn eine Spalte der Wahrheitstafel nur aus Einsen besteht, ist die
Wahrheit der Aussage gezeigt.
a) b) c)
A ¬¬A A ⇔ (¬¬A) ¬A A ∨ ¬A A ∧ ¬A ¬(A ∧ ¬A)
1 1 1 0 1 0 1
0 0 1 1 1 0 1
d) e)
A B A⇒B (A ⇒ B) ∧ A ((A ⇒ B) ∧ A) ⇒ B A⇒B ¬B (A ⇒ B) ∧ ¬B ¬A ((A ⇒ B) ∧ ¬B) ⇒ ¬A
1 1 1 1 1 1 0 0 0 1
1 0 0 0 1 0 1 0 0 1
0 1 1 0 1 1 0 0 1 1
0 0 1 0 1 1 1 1 1 1
f)
A B C A ⇒B B⇒C (A ⇒B) ∧ (B ⇒ C) =: D A⇒C D ⇒ (A ⇒ C)
1 1 1 1 1 1 1 1
1 1 0 1 0 0 0 1
1 0 1 0 1 0 1 1
1 0 0 0 1 0 0 1
0 1 1 1 1 1 1 1
0 1 0 1 0 0 1 1
0 0 1 1 1 1 1 1
0 0 0 1 1 1 1 1
Die Wahrheit der Aussagen kann auch durch Äquivalenzumformung mit Hilfe von bereits bekannten Aussagen
gezeigt werden. Das ist im Allgemeinen schwieriger. Als Beispiel wird dies für Aufgabe 1.2c durchgeführt:
¬(A ∧ ¬A) ⇔ ¬A ∨ ¬¬A (de Morgansches Gesetz, Aufgabe 1.1g)
⇔ ¬A ∨ A (Aufgabe 1.2a)
Die letzte Aussage ist immer wahr nach Aufgabe 1.2b.
1.3 Welche der folgenden Aussagen sind immer wahr, welche sind immer falsch, welche sind vom
Wahrheitswert der Einzelaussagen abhängig?
a) A ∧ ¬A
b) A ∨ ¬A
c) (A ⇒ B) ⇒ A
d) A ⇒ (B ⇒ A)
e) (A ∧ (A ⇒ B)) ⇒ B
f) (A ∨ ¬B) ⇒ (B ∨ ¬A)
g) (A ∧ B) ⇒ (A ∨ B)
h) ¬B ∨ (A ∧ (A ⇒ B))
immer wahr: b, d, e, g
immer falsch: a
abhängig vom Wert der Einzelaussagen: c, f, h
Im Einzelnen ergeben sich folgende Wahrheitstafeln für die Aufgaben a – h:
a) b)
A ¬A A ∧ ¬A A ∨ ¬A
1 0 0 1
0 1 0 1
c) d) e)
A B A⇒B (A ⇒ B) ⇒ A B⇒A A ⇒ (B ⇒ A) (A ∧ (A ⇒ B)) (A ∧ (A ⇒ B)) ⇒ B
1 1 1 1 1 1 1 1
1 0 0 1 1 1 0 1
0 1 1 0 0 1 0 1
0 0 1 0 1 1 0 1
f) g)
A B A ∨ ¬B B ∨ ¬A) (A ∨ ¬B) ⇒ (B ∨ ¬A) A∧B A∨B (A ∧ B) ⇒ (A ∨ B)
1 1 1 1 1 1 1 1
1 0 1 0 0 0 1 1
0 1 0 1 1 0 1 1
0 0 1 1 1 0 0 1
h)
A B A⇒B A ∧ (A ⇒ B) ¬B ¬B ∨ (A ∧ (A ⇒ B))
1 1 1 1 0 1
1 0 0 0 1 1
0 1 1 0 0 0
0 0 1 0 1 1
2.1 Seien A = {1, a, b, c } und B = {1, 2, 3, c }. Bilden Sie den Durchschnitt A ∩ B, die Vereinigung A ∪ B und
die Differenz A \ B sowie B \ A.
Das Assoziativgesetz gilt nicht, wenn Schnitt und Vereinigung in einem Ausdruck verwendet werden:
2.3 Für die nicht leere Menge M prüfe man durch logische Herleitung und mit Mengendiagrammen die Sätze:
a) M ∩ M = M (Idempotenzgesetz)
b) M ∪ M = M (Idempotenzgesetz)
c) M \ M = «
M \ M = {x| x ∈ M ∧ x ∉ M } = {x| x ≠ x } = ∅
d) M ∩ ∅ = ∅
M ∩ ∅ = {x| x ∈ M ∧ x ∈ ∅ } = {x| x ≠ x } = ∅
M ∩ D = {x| x ∈ M ∧ x ∈ D } = {x| x ∈ M} = M
M ∪ ∅ = {x| x ∈ M ∨ x ∈ ∅ } = {x| x ∈ M } = M
g) M ∪ D = D
M ∪ D = {x| x ∈ M ∨ x ∈ D } = {x| x ∈ D } = D
h) A ∩ (A ∪ B) = A (Absorptionsgesetz)
A
B
A∪B
i) A ∪ (A ∩ B) = A (Absorptionsgesetz)
A B
A∩B
2.4 Vereinfachen Sie:
a) A ∩ (B ∩ A) = (A ∩ A) ∩ B = A ∩ B (unter Verwendung von 2.3a und des Assoziativgesetzes )
alternativ: A ∩ (B ∩ A) = {x| x ∈ A ∧ x ∈ B ∧ x ∈ A } = {x| x ∈ A ∧ x ∈ B } = A ∩ B
b) (A ∪ B) ∩ ∅ = (A ∩ ∅) ∪ (B ∩ ∅) = ∅ ∪ ∅ = ∅
c) (A ∩ B*) ∪ (A* ∩ B) ∪ (A ∩ B) = (A \ B) ∪ (B \ A) ∪ (A ∩ B) = A ∪B
(A ∪ B ∪ A*) \ B = (A ∪ B ∪ A*) ∩ B* = (D ∪ B ) ∩ B* = D ∩ B* = B*
2.5 Führt man in einer logischen Aussage die folgenden Ersetzungen bzw. ihre Umkehrungen durch:
⊆ → ⊇, ∪ → ∩ und M → M* (einschließlich D → ∅), so erhält man die duale Aussage. Beispiel: M ∪ D = D
ist dual zu M* ∩ ∅ = ∅. Bilden Sie die dualen Aussagen zu
a) A ∩ (B ∪ A) = A
b) M ∪ ∅ = M
c) M ∪ M* = D
b) M ∪ ∅ = M
duale Aussage: M* ∩ D = M*
Beweis: siehe 2.3e.
c) M ∪ M* = D
duale Aussage: M* ∩ M** = D* ⇒ M* ∩ M** = ∅, da D* = ∅
Beweis: M* ∩ M** = M* ∩ M = ∅
3.3 Zeichnen Sie die Relationsgraphen für die Übungen 3.2 b bis f.
Die Reflexivität einer Relation erkennt man daran, dass der Graph die Hauptdiagonale (y = x) enthält.
e) x + y = –2 ⇒ y = –x –2 f) x = 2 oder x + 0y = 2
1 2
-2 -1 1
-2
e) Die Symmetrie der Relation erkennt man an der Symmetrie des Graphen relativ zur Hauptdiagonale.
f) Symmetrie liegt nicht vor, wie man am Graphen sieht, der nicht symmetrisch zur Hauptdiagonale ist.
Reflexivität liegt nicht vor, weil der Graph die Hauptdiagonale nicht enthält
3.4 Geben Sie jeweils ein Beispiel für folgende Relationen an:
a) Eine Äquivalenzrelation, die ebenfalls partielle Ordnungsrelation ist: x = y
b) Eine Äquivalenzrelation, die nicht partielle Ordnungsrelation ist: x – y ist ohne Rest durch 3 teilbar
c) Eine partielle Ordnungsrelation, die nicht Äquivalenzrelation ist: x ≤ y
d) Eine Relation, die weder Äquivalenzrelation noch partielle Ordnungsrelation ist: x < y