4. Übungsblatt
Grundlagen und Diskrete Strukturen WS 2014/15
Jens M. Schmidt, Tutor: Jens Schreyer
Aufgabe 1: Prädikatenlogik
Der Gültigkeitsbereich für die Variablen x, y und z in dieser Aufgabe sei auf die positiven reellen Zahlen R
+festgelegt. Dazu sind die folgenden Prädikate gegeben:
P (x) = 1 ⇔ x ≥ 1 Q(x, y) = 1 ⇔ x < y R(x, y, z) = 1 ⇔ x + y = z
Welche Wahrheitswerte haben die folgenden Aussagen?
i) R(1, 2, 3) ii) Q(3, 2) iii) ∃x R(x, x, 3)
iv) ∃y∀x (P (x) ⇒ Q(y, x))
v) ∀z∃x∃y (P (z) ⇒ P (x) ∧ R(x, y, z) vi) ∀x∀z∃y R(x, y, z)
vii) ∀x∀z∃y Q(x, z) ⇒ R(x, y, z)
Aufgabe 2: Geometrische Reihe
Sie kennen bereits die geometrischen Reihe: Für jedes x ∈ R \ {0, 1} und n ∈ N gilt
n
X
i=0