Einführung in die Logik - Tutorium Fr 14-16 Ralf Kozian Martin Rippel (XXXXXX) Übungsblatt 4 Seite 1/3 Aufgabe 1 Definieren Sie die Menge der LAL -Ausdrücke induktiv. Menge der LAL -Ausdrücke: ALAL 1. 2. 3. 4. Alle Satzkonstanten sind LAL -Ausdrücke. Alle Junktoren sind LAL -Ausdrücke. Sind x und y LAL -Ausdrücke, so ist auch x_ y ein LAL -Ausdruck. Nichts ist ein LAL -Ausdruck, das nicht durch endlich viele Anwendungen der Regeln 1 bis 3 entstanden ist. Aufgabe 2 Überprüfen Sie mit Hilfe von Wahrheitstafeln, ob folgende Formeln Tautologien, bloß erfüllbar oder unerfüllbar sind. Hinweis: Als Grundlage wird folgende Wahrheitswertetafel aus der Vorlesung verwendet: ϕ w w f f a) ¬(P ∧ Q) ↔ (¬P ∨ ¬Q) P w w f f Q w f w f P ∧Q w f f f Q w w f f w w f f R w f w f w f w f ¬(P ∧ Q) f w w w P ∨R w w w w w f w f ¬ϕ f f w w ϕ∧ψ w f f f ¬Q f f w w f f w w ¬P f f w w ¬Q f w f w Q w w f f w w f f R w f w f w f w f Q∧R w f f f w f f f ϕ→ψ w f w w ϕ↔ψ w f f w ¬P ∨ ¬Q f w w w a) w w w w Tautologie (P ∨ R) ↔ ¬Q f f w w f w w f c) (P → (Q ∧ R)) → ((P ∧ Q) → (¬P ∧ R)) P w w w w f f f f ϕ∨ψ w w w f Tautologie b) ((P ∨ R) ↔ ¬Q) ∨ (Q ∨ ¬P ) P w w w w f f f f ψ w f w f P → (Q ∧ R) w f f f w w w w ¬P f f f f w w w w Q ∨ ¬P w w f f w w w w b) w w w w w w w w erfüllbar P ∧Q w w f f f f f f ¬P f f f f w w w w ¬P ∧ R f f f f w f w f (P ∧ Q) → (¬P ∧ R) f f w w w w w w c) f w w w w w w w Einführung in die Logik - Tutorium Fr 14-16 Ralf Kozian Martin Rippel (XXXXXX) d) (P → (Q ∧ R)) → ((P ∨ Q) → (¬P ∨ R)) P w w w w f f f f Q w w f f w w f f R w f w f w f w f Q∧R w f f f w f f f P → (Q ∧ R) w f f f w w w w Tautologie P ∨Q w w w w w w f f e) (Q ∨ R) ∧ (Q → P ) ∧ (¬Q ∧ R → P ) → P Übungsblatt 4 Seite 2/3 ¬P f f f f w w w w ¬P ∨ R w f w f w w w w (P ∨ Q) → (¬P ∨ R) w f w f w w w w d) w w w w w w w w Tautologie Hinweis: wegen Platzmangel gelte ψ := (Q ∨ R) ∧ (Q → P ) ∧ (¬Q ∧ R → P ). P w w w w f f f f Q w w f f w w f f R w f w f w f w f Q∨R w w w f w w w f Q→P w w w w f f w w (Q ∨ R) ∧ (Q → P ) w w w f f f w f ¬Q f f w w f f w w ¬Q ∧ R f f w f f f w f ¬Q ∧ R → P w w w w w w f w ψ w w w f f f f f e) w w w w w w w w Aufgabe 3 Zeigen Sie, dass: |= (p1 → p2 ) → (¬p2 → ¬p1 ) p1 1 1 0 0 p2 1 0 1 0 ¬p2 0 1 0 1 ¬p1 0 0 1 1 p1 → p2 1 0 1 1 ¬p2 → ¬p1 1 0 1 1 (p1 → p2 ) → (¬p2 → ¬p1 ) 1 1 1 1 Es konnte gezeigt werden, dass (p1 → p2 ) → (¬p2 → ¬p1 ) bezüglich jeder möglichen Belegung wahr ist, denn wie in der letzten Tabellenspalte zu erkennen ist gilt ∀f (f Belegung ⇒ Wertf ((p1 → p2 ) → (¬p2 → ¬p1 )) = 1) Aufgabe 4 Gegeben seien die Mengen A = {1, 2} und B = {1, 3}. Geben Sie folgende Mengen per Aufzählung ihrer Elemente an: a) A × B = {h1, 1i, h1, 3i, h2, 1i, h2, 3i} b) B × A = {h1, 1i, h1, 2i, h3, 1i, h3, 2i} c) A2 = A × A = {h1, 1i, h1, 2i, h2, 1i, h2, 2i} d) A × (B ∩ A) = {1, 2} × {1} = {h1, 1i, h2, 1i} e) (A × B) ∩ A = {h1, 1i, h1, 3i, h2, 1i, h2, 3i} ∩ {1, 2} = ∅ f) (A ∪ B) × A = {1, 2, 3} × {1, 2} = {h1, 1i, h1, 2i, h2, 1i, h2, 2i, h3, 1i, h3, 2i} Einführung in die Logik - Tutorium Fr 14-16 Ralf Kozian Martin Rippel (XXXXXX) Übungsblatt 4 Seite 3/3 Aufgabe 5 Richtig oder falsch? a) b) c) d) e) {ha, bi, hb, bi} ist eine Funktion auf {a, b} {ha, bi, hb, bi} ist eine Funktion auf {a, b, c} {ha, bi, hc, bi, ha, ci} ist eine Funktion auf {a, b, c} Die 6-Relation ist eine Funktion auf N. Die <-Relation ist eine Funktion von {1, 2} nach {3, 4}. richtig richtig falsch falsch richtig Aufgabe 6 1 Zeigen Sie, dass wegen der mengentheoretischen Definition des geordneten Paares gilt, dass hx, yi = hx0 , y 0 i ⇒ x = x0 y = y 0 . hx, yi = hx0 , y 0 i {{x}, {x, y}} = {{x0 }, {x0 , y 0 }} ⇒ {x} = {x } ⇒ x = x0 ⇒ 0 0 Definition Tupel {x, y} = {x , y } Definition Mengengleichheit x = x0 y = y0 Definition Mengengleichheit y = y0 Definition und-Verknüpfung x = x0 1 1 0 1 1 ⇒