Comments on: Extra Formalisierungsaufgaben http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=110 Weblog zur Einführung in die formale Logik [2. Jahrg.] Sat, 13 Jun 2026 11:28:44 +0000 http://wordpress.org/?v=2.2.3 By: Laura http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=110#comment-113 Laura Tue, 27 May 2008 10:14:36 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=110#comment-113 Hallo, danke für die Antworten! Ein Teil einer der Formeln gefällt mir noch nicht! Siehst Du welcher? Oder sieht es jemand anderes? Sonst sehe ich aber keine Fehler. Grüsse Laura PS: Ganz korrekterweise müsste es noch Klammern haben um mehrere Konjunktionen zu gliedern... Hallo,
danke für die Antworten! Ein Teil einer der Formeln gefällt mir noch nicht! Siehst Du welcher? Oder sieht es jemand anderes?
Sonst sehe ich aber keine Fehler.
Grüsse
Laura
PS: Ganz korrekterweise müsste es noch Klammern haben um mehrere Konjunktionen zu gliedern…

]]> By: JB http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=110#comment-111 JB Sun, 25 May 2008 10:06:08 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=110#comment-111 Und gleich dazu, das zweite Young-Gods Problem: "Auf dem ersten Album sind nur zwei gute Lieder." a: The Young Gods Pxy: x ist ein Album von y Qxy: x entstand vor y Rx: x ist ein Lied Sxy: x ist auf y Tx: x ist gut ∃x(Pxa∧∀y(Pya∧x≠y→Qxy)∧∃z1∃z2(Rz1∧Rz2)∧z1≠z2∧∀z3(Rz3∧Sz3x∧Tz3→z3=z1∨z3=z2)) Ich habe den ersten Teil (bis und mit "... →Qxy)" vom vorigen Beispiel übernommen. Aus dem Kontext schliesse ich, dass das erste Album der Young Gods gemeint ist und nicht das erste Album überhaupt. Und gleich dazu, das zweite Young-Gods Problem:

“Auf dem ersten Album sind nur zwei gute Lieder.”

a: The Young Gods
Pxy: x ist ein Album von y
Qxy: x entstand vor y
Rx: x ist ein Lied
Sxy: x ist auf y
Tx: x ist gut

∃x(Pxa∧∀y(Pya∧x≠y→Qxy)∧∃z1∃z2(Rz1∧Rz2)∧z1≠z2∧∀z3(Rz3∧Sz3x∧Tz3→z3=z1∨z3=z2))

Ich habe den ersten Teil (bis und mit “… →Qxy)” vom vorigen Beispiel übernommen. Aus dem Kontext schliesse ich, dass das erste Album der Young Gods gemeint ist und nicht das erste Album überhaupt.

]]> By: JB http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=110#comment-110 JB Sun, 25 May 2008 09:18:41 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=110#comment-110 Hab noch was vergessen: Pxy: x ist ein Album von y Qxy: x entstand vor y Rxy: x ist besser als y Hab noch was vergessen:

Pxy: x ist ein Album von y
Qxy: x entstand vor y
Rxy: x ist besser als y

]]> By: JB http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=110#comment-109 JB Sun, 25 May 2008 09:15:50 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=110#comment-109 Hi Laura, hier mein Vorschlag zum <b><i>Young Gods</i></b>-Beispiel: ∃x(Pxa∧∀y(Pya∧x≠y→Qxy)∧∀z(Pza∧x≠z→¬Rxz)) Hi Laura,

hier mein Vorschlag zum Young Gods-Beispiel:

∃x(Pxa∧∀y(Pya∧x≠y→Qxy)∧∀z(Pza∧x≠z→¬Rxz))

]]>