http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=490 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 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=490#comment-42 Sun, 25 May 2014 13:23:35 +0000 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=490#comment-42 Das hab ich mir gedacht, obwohl sich bei dem Beispiel der Baum ja sowieso nicht schliessen lässt. Merci bien!
mlg Kaj

]]> http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=490#comment-41 Sun, 25 May 2014 13:19:12 +0000 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=490#comment-41 Lieber Kaj
Genau! Wir sind ja grundsätzlich daran interessiert, dass sich der Baum möglichst schnell schliesst. Wenn wir sehen, dass es bereits Qb gibt, macht es bei einer Allbeseitigung Sinn, Variablen zu nehmen, die schon in genau dieser Kombination mit einer Prädikatskonstante vorkommen. Es wäre nicht falsch, „a“ zu wählen, aber der Ast wird sich damit nicht schliessen, sodass du später die Allbeseitigung nochmals machen müsstest, dann mit „b“.
Lieber Gruss
Samantha

]]>