http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=28 Weblog zur Einführung in die formale Logik [2. Jahrg.] Sat, 13 Jun 2026 13:59:47 +0000 http://wordpress.org/?v=2.2.3 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=28#comment-28 Sarah Thu, 04 Oct 2007 18:56:11 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=28#comment-28 Ja danke so ist es klar. Das Hauptproblem war, dass ich nicht verstanden habe, dass A1 immer noch das ursprüngliche ist.... Ja danke so ist es klar. Das Hauptproblem war, dass ich nicht verstanden habe, dass A1 immer noch das ursprüngliche ist….

]]> http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=28#comment-26 Pfisterer Thu, 04 Oct 2007 10:45:25 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=28#comment-26 Die Behauptung ist nicht, dass A1' (das wäre in der Tat eine Tautologie) aus jeder beliebigen Teilmenge von M' folgt, sondern die, dass A1 aus jeder beliebigen Teilmenge von M' folgt. Die Negation von A1 ist eine Tautologie und eine Teilmenge von M'. Der Schluss von der Negation von A1 auf A1 wäre ein Schluss von wahren Prämissen auf eine falsche Konklusion und somit nicht gültig. Also folgt A1 nicht aus jeder beliebigen Teilmenge aus M'. Klar? Die Behauptung ist nicht, dass A1′ (das wäre in der Tat eine Tautologie) aus jeder beliebigen Teilmenge von M’ folgt, sondern die, dass A1 aus jeder beliebigen Teilmenge von M’ folgt. Die Negation von A1 ist eine Tautologie und eine Teilmenge von M’. Der Schluss von der Negation von A1 auf A1 wäre ein Schluss von wahren Prämissen auf eine falsche Konklusion und somit nicht gültig. Also folgt A1 nicht aus jeder beliebigen Teilmenge aus M’. Klar?

]]> http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=28#comment-25 Laura Thu, 04 Oct 2007 10:40:38 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=28#comment-25 Liebe Sarah, Mit der Einführung der neuen Menge M' in dieser Aufgabe werden die bisherigen Aussagen nicht umbenannt. A1 bleibt A1 etc. Die neue Menge M' besteht also nicht aus A1, A2,..., An sondern aus ihren Negationen. Diesen könnte man dann einen neuen Namen geben zB A1', A2' etc. A1 ist also weiterhin eine Kontradiktion und A2 eine Tautologie! Grüsse Laura Liebe Sarah,
Mit der Einführung der neuen Menge M’ in dieser Aufgabe werden die bisherigen Aussagen nicht umbenannt. A1 bleibt A1 etc. Die neue Menge M’ besteht also nicht aus A1, A2,…, An sondern aus ihren Negationen. Diesen könnte man dann einen neuen Namen geben zB A1′, A2′ etc.
A1 ist also weiterhin eine Kontradiktion und A2 eine Tautologie!
Grüsse
Laura

]]>