Name: Van Nhi Hoang

Matrikelnummer: 3116583 Übungsblatt 1

Aufgabe 1:
(a) 𝑈2 und 𝑈3 sind Funktionen, denn jedem Element der Menge 𝑋 ist ein
Element der Menge 𝑌 zugeordnet.
𝑈1 ist keine Funktion, weil nicht jedem Element der Menge 𝑋 ein Element
der Menge 𝑌 zugeordnet ist. (c fehlt).
𝑈4 ist keine Funktionen, weil Element 𝑏 der Menge 𝑋 zwei Elemente der
Menge 𝑌 zugeordnet ist.
(b) 1. 𝑓: {𝑎, 𝑏, 𝑐 } → {0, 1} 5. 𝑓: {𝑎, 𝑏, 𝑐 } → {0, 1}
𝑓(𝑎) = 0, 𝑓(𝑏) = 0, 𝑓(𝑐) = 0 𝑓(𝑎) = 0, 𝑓(𝑏) = 1, 𝑓(𝑐) = 1
2. 𝑓: {𝑎, 𝑏, 𝑐 } → {0, 1} 6. 𝑓: {𝑎, 𝑏, 𝑐 } → {0, 1}
𝑓(𝑎) = 0, 𝑓(𝑏) = 0, 𝑓(𝑐) = 1 𝑓(𝑎) = 1, 𝑓(𝑏) = 0, 𝑓(𝑐) = 1
3. 𝑓: {𝑎, 𝑏, 𝑐 } → {0, 1} 7. 𝑓: {𝑎, 𝑏, 𝑐 } → {0, 1}
𝑓(𝑎) = 0, 𝑓(𝑏) = 1, 𝑓(𝑐) = 1 𝑓(𝑎) = 1, 𝑓(𝑏) = 1, 𝑓(𝑐) = 0
4. 𝑓: {𝑎, 𝑏, 𝑐 } → {0, 1} 8. 𝑓: {𝑎, 𝑏, 𝑐 } → {0, 1}
𝑓(𝑎) = 1, 𝑓(𝑏) = 0, 𝑓(𝑐) = 1 𝑓(𝑎) = 1, 𝑓(𝑏) = 1, 𝑓(𝑐) = 1

Aufgabe 2:
(a) Dieser Syllogismus ist gültig.

(b) Dieser Syllogismus ist ungültig. P kann auch

S sein.
Name: Van Nhi Hoang
Matrikelnummer: 3116583 Übungsblatt 1

(c) Dieser Syllogismus ist ungültig. Alle S

könnte P sein.

(d) Dieser Syllogismus ist gültig.

Aufgabe 3:
(a) 𝐹1 = (𝐴 → 𝐵) ↔ 𝐴

𝐹1 ist erfüllbar.
Name: Van Nhi Hoang
Matrikelnummer: 3116583 Übungsblatt 1

(b) 𝐹2 = ¬((¬𝐴 ∧ 𝐵 ) ∨ (𝐵 → 𝐴))

𝐹2 ist unerfüllbar.

(c) 𝐹3 = ((𝐴 ∨ 𝐵) ∧ (¬𝐵 → 𝐶)) ∧ (𝐴 → (𝐵 ∧ 𝐶 ))

𝐹3 ist erfüllbar.
Name: Van Nhi Hoang
Matrikelnummer: 3116583 Übungsblatt 1

(d) 𝐹4 = ¬((𝐴 → 𝐵) ∧ (𝐴 ↔ 𝐶)) ∨ (𝐴 ↔ (𝐴 ∨ 𝐶))

𝐹4 ist erfüllbar und gültig.