Skip to content

Uebungsblatt 11 Aufgabe 3a

Kurze Frage zur Baumauflösung in Schritt 10 (Musterlösung):

Wird dort bei der Beseitigung des Allquantors (aus Schritt 4) „b“ für „x“ gewählt, weil in Schritt 9 „Qb“ steht? Oder anders gefragt könnte man den Allquantor auch mit „a“ auflösen?

This was written by Kaj. Posted on Sonntag, Mai 25, 2014, at 12:39. Filed under Unkategorisiert. Bookmark the permalink. Follow comments here with the RSS feed. Trackbacks are closed, but you can post a comment.

2 Comments

  1. Samantha wrote:

    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

    Sonntag, Mai 25, 2014 at 15:19 | Permalink
  2. Kaj wrote:

    Das hab ich mir gedacht, obwohl sich bei dem Beispiel der Baum ja sowieso nicht schliessen lässt. Merci bien!
    mlg Kaj

    Sonntag, Mai 25, 2014 at 15:23 | Permalink

Post a Comment

You must be logged in to post a comment.