Beruflich Dokumente
Kultur Dokumente
Wintersemester 22/23
Prof. Dr. Volker Bach
M.Sc. Jakob Geisler
0. Übungsblatt
Upload: 27.10.2022.
Deadline: 03.11.2022, 13:15 Uhr (im Abgabeordner bei stud.ip).
Aufgabe 0.1
(a) Bringen Sie die folgende Aussage
’Wenn es regnet oder schneit, und es nicht regnet, dann schneit es.’
in eine aussagenlogische Form. Definieren Sie dafür Aussagen A, B, ... wie etwa
A := Es regnet
(b) Geben Sie ein (Alltags-) Beispiel an, welches verdeutlicht, dass aus A ⇒ B im Allgemeinen
weder B ⇒ A noch ¬ A ⇒ ¬ B folgt.
Aufgabe 0.2
(a) Zeigen Sie mittels Wahrheitstafeln, dass
¬( A ∨ B) = (¬ A) ∧ (¬ B) (1)
und
¬( A ∧ B) = (¬ A) ∨ (¬ B) (2)
gelten.
(b) Es sei M ⊆ R eine nichtleere Menge. Formulieren Sie die Negation der folgenden Aussagen
mittels logischer Quantoren:
(i) ∀ x ∈ M : x ≥ 0.
(ii) ∃ x ∈ M : x > 0.
Aufgabe 0.3
Es seien A = { x ∈ R| x2 = 1}, B = {1, 2, 3, 4} und C = {Apfel, Banane} Mengen.
(c) Geben Sie eine injektive Funktion f : C 7→ B, eine surjektive Funktion g : B 7→ C und eine
bijektive Funktion h : C 7→ A an.
2
Aufgabe 0.4
Es seien M, N nichtleere Mengen und A, B ⊆ M sowie C, D ⊆ N Teilmengen von M und N. Ferner
sei f : M 7→ N eine Abbildung
Beweis.
(1)
y ∈ f ( A ∩ B) ⇔ ∃ x ∈ A ∩ B : f ( x ) = y
(2)
⇔ ∃ x ∈ M : ( x ∈ A) ∧ ( x ∈ B) ∧ ( f ( x ) = y)
(3)
⇔ ∃ x ∈ M : ( x ∈ A ∧ f ( x ) = y) ∧ ( x ∈ B ∧ f ( x ) = y)
(4)
⇔ (∃ x ∈ M : x ∈ A ∧ f ( x ) = y) ∧ (∃ x ∈ M : x ∈ B ∧ f ( x ) = y)
(5) (6)
⇔ (∃ x ∈ A : f ( x ) = y) ∧ (∃ x ∈ B : f ( x ) = y) ⇔ (y ∈ f ( A)) ∧ (y ∈ f ( B))
(7)
⇔ y ∈ f ( A ) ∩ f ( B ).
Welche ist es, warum ist diese falsch und was muss dort anstelle des Äquivalenzpfeils stehen?
Wie verändert sich dadurch die Aussage des dann richtigen Beweises?