Sie sind auf Seite 1von 4

Einfuhrung in die Moderne Logik Ubungsblatt 3 mit Lsungen o 38 Punkte

Zentrale Lernaufgaben fr diese Woche u


1. Lernen sie die przise Denition der a.l.-Gltigkeit von AL-Schlssen mit Hilfe des Begries einer a u u Bewertung (Skript Folie 35). 2. Erlernen Sie das Wahrheitstafelverfahren zur Feststellung der a.l.-Gltigkeit von AL-Schlssen u u (Skript Folien 37 bis 39). 3. Lernen Sie die Denitionen der a.l.-Eigenschaften und a.l.-Beziehungen von bzw. zwischen ALAussagen und Mengen von AL-Aussagen (Skript Folien 318 bis 321).

Aufgabe 1 ILIAS [22P]


Geben Sie an, welche der folgenden Aussagen wahr bzw. falsch sind. 1. Zur syntaktischen Beschreibung einer Sprache gehrt, welche Bedeutung die Ausdrcke der Sprao u che haben. (falsch) 2. Zur syntaktischen Beschreibung einer Sprache gehrt, welche Aussagen durch Klammern eingeo schlossen werden mssen. (wahr) u 3. Zur syntaktischen Beschreibung einer Sprache gehrt, wie sich die Bedeutungen komplexer Auso drcke aus den Bedeutungen einfacher Ausdrcke der Sprache ergeben. (falsch) u u 4. Zur syntaktischen Beschreibung einer Sprache gehrt, wie sich das Vokabular der Sprache zu o wohlgeformten bzw. korrekt gebildeten Aussagen zusammensetzen lsst. (wahr) a 5. Zur syntaktischen Beschreibung einer Sprache gehrt, wie Aussagen der Sprache zu gltigen o u Schlssen zusammengesetzt werden knnen. (falsch) u o 6. Zur semantischen Beschreibung einer Sprache gehrt, wie sich das Vokabular der Sprache zu o wohlgeformten bzw. korrekt gebildeten Aussagen zusammensetzen lsst. (falsch) a 7. Zur semantischen Beschreibung einer Sprache gehrt, wie sich der Wahrheitswert komplexer Auso sagen aus den Wahrheitswerten der einfachen Aussagen der Sprache ergibt. (wahr) 8. Zur semantischen Beschreibung einer Sprache gehrt, welche Aussagen durch Klammern eingeo schlossen werden mssen. (falsch) u 9. Zur semantischen Beschreibung einer Sprache gehrt, wie sich die Bedeutungen komplexer Auso drcke aus den Bedeutungen einfacher Ausdrcke der Sprache ergeben. (wahr) u u 10. Eine Subjunktion (A B) ist bei einer Bewertung genau dann wahr, wenn die Aussage (AB) bei dieser Bewertung wahr ist. (falsch) 11. Eine Subjunktion (A B) ist bei einer Bewertung genau dann wahr, wenn die Aussage (B A) bei dieser Bewertung wahr ist. (wahr)

12. Eine Subjunktion (A B) ist bei einer Bewertung genau dann wahr, wenn die Aussage (A B) bei dieser Bewertung wahr ist. (falsch) 13. Eine Subjunktion (A B) ist bei einer Bewertung genau dann wahr, wenn die Aussage (A B) bei dieser Bewertung wahr ist. (falsch) 14. Eine Subjunktion (A B) ist bei einer Bewertung genau dann wahr, wenn die Aussage (A B) bei dieser Bewertung falsch ist. (wahr) 15. Wenn ein AL-Schluss a.l.-gltig ist, dann gibt es Bewertungen, bei denen alle seine Prmissen u a und die Konklusion wahr sind. (falsch) 16. Wenn ein AL-Schluss a.l.-gltig ist, dann ist seine Konklusion wahr bei einer beliebigen Beweru tung, falls alle Prmissen wahr bei dieser Bewertung sind. (wahr) a 17. Wenn ein AL-Schluss a.l.-gltig ist, dann gibt es keine Bewertung, bei der seine Konklusion falsch u ist. (falsch) 18. Wenn ein AL-Schluss a.l.-gltig ist, dann gibt es keine Bewertung, bei der alle seine Prmissen u a wahr sind, aber die Konklusion falsch ist. (wahr) 19. Wenn eine AL-Aussage A aus einer Menge von AL-Aussagen a.l.-folgt, dann gibt es mindestens eine Bewertung, bei der sowohl A als auch alle AL-Aussagen von wahr sind. (falsch) 20. Wenn eine AL-Aussage A aus einer Menge von AL-Aussagen a.l.-folgt, dann ist A wahr bei einer beliebigen Bewertung, falls alle AL-Aussagen von wahr sind bei dieser Bewertung sind. (wahr) 21. Wenn eine AL-Aussage A aus einer Menge von AL-Aussagen a.l.-folgt, dann gibt es keine Bewertung, bei der A falsch ist. (falsch) 22. Wenn eine AL-Aussage A aus einer Menge von AL-Aussagen a.l.-folgt, dann gibt es keine Bewertung, bei der alle AL-Aussagen von wahr sind, wenn A falsch ist bei dieser Bewertung. (wahr)

Aufgabe 2 ILIAS [8P]


Wenn zwei AL-Aussagen bei jeder beliebigen Bewertung denselben Wahrheitswert haben, dann nennt man sie auch a.l.-quivalent (siehe Skript Folie 319). Untersuche mit Hilfe der Wahheitstafelmethode, a ob die folgenden Aussagen a.l.-quivalent sind und geben Sie die Wahrheitswertverlufe der beiden ALa a Aussagen an. 1. [2P] A ((p q) p) und B: (p q) p q ((q W W W F F W F F Der Wahrheitswertverlauf a quivalent. Lsung: o p) p) (p q) W W W F F F W F F W F F von A entspricht dem von B. Also sind die beiden AL-Aussagen a.l.-

2. [2P] A (p (p q)) und B (p q) p q (p (p q)) (p q) W W W W W W F W W W F W W W W F F F F F Der Wahrheitswertverlauf von A entspricht dem von B. Also sind die beiden AL-Aussagen a.l.a quivalent. Lsung: o

3. [2P] A (p (q r)) und B ((p q) r) Lsung: o 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 (p W F W W W W W W (q W F W W W F W W r)) ((p W W F F W W W W q) W F W W W F W F r)

Der Wahrheitswertverlauf von A entspricht nicht dem von B. Also sind die beiden AL-Aussagen nicht a.l.-quivalent. a 4. [2P] A ((p (q r)) ((p q) (p r))) und B ((p q) (q p)) Lsung: o 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 ((p W F F F W W W W (q r)) W F F F W F F F W W W W W W W W ((p q) W W F F W W W W W F F F W W W W (p r))) W F W F W W W W ((p q) W W F F W W W W W W W W W W W W (q p)) W W W W F F W W

Der Wahrheitswertverlauf von A entspricht dem von B. Also sind die beiden AL-Aussagen a.l.a quivalent.

Aufgabe 3 ILIAS [8P]


1. Begrnden Sie mittels der Gegenbeispiel- oder Wahrheitstafelmethode, ob die folgenden ALu Schlsse a.l.-gltig sind. Kreuzen Sie alle gltigen Schlsse an. u u u u a) [2P] (p q) g ltig u (r q) Also: ((p r) q) (p q) ung ltig u (q r) Also: (q (p r)) ((p r) q) g ltig u (p r) Also: (p q) (p q) g ltig u (q r) Also: (q (p r))

b) [2P]

c) [2P]

d) [2P]

2. Dieser Aufgabenteil ist nicht in ILIAS zu lsen: Geben Sie fr die ungltigen Schlsse eine o u u u partielle Bewertung an, welche belegt, dass der entsprechende Schluss ungltig ist. u

Aufgabe 5
Auf dem Tisch liegen vier Karten. Auf einer Seite ( Buchstabenseite) zeigen sie jeweils einen Buch staben und auf der anderen ( Ziernseite) eine Zier.

Behauptung: Wenn auf der Ziernseite einer Karte eine Zier fr eine ungerade Zahl steht, dann steht u auf ihrer Buchstabenseite ein Vokal. Frage: Welche der vier Karten muss man umdrehen, um die Behauptung zu uberprfen? u

Aufgabe 6
Rtselaufgabe a