Formale Logik, WS 2016/17, Übungsblatt 7

Werbung
Formale Logik, WS 2016/17, Übungsblatt 7
Abgabe: Mittwoch, 14. Dezember 2016, in der Vorlesung
Aufgabe 22:
Sei L eine prädikatenlogische Sprache, die Konstanten a, b enthält, eine Aussagenvariable A,
ein Prädikat (einstelliges Relationszeichen) P und zweistelliges Relationszeichen R. Welche
der folgenden Zeichenfolgen sind – streng nach den Regeln – prädikatenlogische L-Formeln?
Begründen Sie jeweils negative Antworten.
1.
2.
3.
4.
5.
6.
¬ ∀x (Rax ∧ ∃y P y)
∃v ¬ ∀w (¬P vw → ∃z a = z)
∀x (Rax ∧ ∃y A)
((A → ¬A) ↔ ⊥)
(P x ∧ (¬x = y → P y))
∀x ∀y (x = y ↔ ∀P (P x ↔ P y))
6.
8.
9.
10.
11.
12.
¬ ∀x (Rax ∧ ∃x P x)
∀x (Rab ∧ ∃ y(P x ∧ P y))
∀v ∀w (v = w → P v = P w))
(∀x ¬(Rax ∧ ∃ P x) ∨ ∀v v = a)
∀x ¬ ∃z ∀x (Rxy ∧ P z)
∀v ∃a (v = a ∨ Rav)
Aufgabe 23:
Betrachten Sie den folgenden Beweis von Smullyan, dass ein Schinkenbrot besser als die
ewige Glückseligkeit ist:
Prämisse 1:
Prämisse 2:
Prämisse 3:
Also:
Wenn eine Sache besser als eine zweite ist, und die zweite besser
als eine dritte, dann ist die erste besser als die dritte.
Ein Schinkenbrot ist besser als nichts.
Nichts ist besser als die ewige Glückseligkeit.
Ein Schinkenbrot ist besser als die ewige Glückseligkeit.
Wo liegt der Fehler? Formalisieren Sie das Argument in einer geeigneten prädikatenlogischen
Sprache (damit sollte man den Fehler besser sehen.) Sie können zum Beispiel ein zweistelliges
Relationszeichen Bxy für „x ist besser als y“ benutzen, brauchen aber noch weitere Zeichen.
Aufgabe 24:
Es folgen drei traditionelle Syllogismen (in denen „einige“ immer „mindestens ein“ bedeutet). Welche der Schlüsse sind korrekt (valid )?
1.
Jeder Schleimschirmling ist ein Lamellenpilz.
Kein Knorpelporling ist ein Lamellenpilz.
Kein Knorpelporling ist ein Schleimschirmling
2.
Jeder Schleimschirmling ist ein Lamellenpilz.
Kein Knorpelporling ist ein Lamellenpilz.
Einige Schleimschirmlinge sind keine Knorpelporlinge.
3.
Einige Stinkschwindlinge sind Lamellenpilze.
Jeder Scheinhelmling ist ein Lamellenpilz.
Einige Stinkschwindlinge sind keine Scheinhelmlinge.
(Pilzkenner dürfen sich auch gerne überlegen, welche der Schlüsse sound sind . . . )
1
Herunterladen