Kommentare zu: Frage zum prädikatenlogischen Beth-Kalkül http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=462 Weblog zur Einführung in die formale Logik [8. Jahrg.] Sun, 14 Dec 2014 18:04:00 +0000 hourly 1 https://wordpress.org/?v=4.1.38 Von: Simon Rüttimann http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=462#comment-38 Sun, 25 May 2014 07:06:38 +0000 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=462#comment-38 Wie du richtig bemerkst, ist es grundsätzlich strategisch besser, zuerst Existenzbeseitigungen vorzunehmen, damit sich er Baum früher schliesst. Allerdings funktioniert der Kalkül auch, wenn du so vorgehst, wie du es im Beispiel beschrieben hast (Zuerst AB, dann EB). In diesem Fall entwickelst du die Allaussage anschliessend einfach nochmals (nach Pb), da eine AB beliebig oft mit beliebigen Konstanten durchgeführt werden darf. Hierbei ist insbesondere zu beachten, dass du die nochmals durchgeführte AB bei jedem offenen Ast des Baumes anhängst!
Überdies kann es natürlich auch Fälle geben, in denen die AB vor der EB durchgeführt werden muss, was sich aus der Formelstruktur ergeben kann (z.B. bei ∀x(Px∧∃y¬Py) Hier ist ohnehin mit mehrfacher AB zu operieren.

Herzlich, Simon

]]>