Comments on: Übungsblatt 11 (Baumkalkül Aufgabe 4c) http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=78 Weblog zur Einführung in die formale Logik [2. Jahrg.] Sat, 13 Jun 2026 11:38:02 +0000 http://wordpress.org/?v=2.2.3 By: Laura http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=78#comment-80 Laura Sun, 16 Dec 2007 17:22:28 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=78#comment-80 Ich schliesse mich an. Auf der Musterlösung sind einfach die vollständig entwickelten Bäume drauf. Einige Bäume kann man aber schon viel früher schliessen. Liebe Grüsse Laura Ich schliesse mich an. Auf der Musterlösung sind einfach die vollständig entwickelten Bäume drauf. Einige Bäume kann man aber schon viel früher schliessen.
Liebe Grüsse
Laura

]]> By: ciurlia http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=78#comment-78 ciurlia Thu, 13 Dec 2007 14:46:19 +0000 http://philsem.nns.ch/e-learning/logik/0708/wordpress/?p=78#comment-78 Wenn eine Formel und ihre Negation auf dem gleichen Ast vorkommen, dann kann man den Ast schliessen (auch wenn die Formeln noch nicht komplett entwickelt sind). Ein einfaches Beispiel dazu ist auch in der Musterlösung zum Arbeitsblatt 11 bei der Aufgabe 3a. Dort kommen (Pa ∧ Pa) und ¬(Pa ∧ Pa) auf dem gleichen Ast vor und dieser wird (unentwickelt) geschlossen. In anderen Worten: Du hast Recht, man kann schon vorher schliessen :) Wenn eine Formel und ihre Negation auf dem gleichen Ast vorkommen, dann kann man den Ast schliessen (auch wenn die Formeln noch nicht komplett entwickelt sind).

Ein einfaches Beispiel dazu ist auch in der Musterlösung zum Arbeitsblatt 11 bei der Aufgabe 3a. Dort kommen (Pa ∧ Pa) und ¬(Pa ∧ Pa) auf dem gleichen Ast vor und dieser wird (unentwickelt) geschlossen.

In anderen Worten: Du hast Recht, man kann schon vorher schliessen :)

]]>