Skip to content

Könnte man Aufgabe 2.c, Übungsblatt 11 auch folgendermassen formalisieren:

AxEy ( (Px^Qy) –> Rxy) (Mit denselben Prädikatkonstanten wie in der Musterlösung)

This was written by uli. Posted on Sonntag, Mai 25, 2014, at 10: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. Laura wrote:

    selbe Frage allerdings für folgende Formalisierung:
    AxEy(Px -> (Qy^Rxy))

    Sonntag, Mai 25, 2014 at 10:52 | Permalink
  2. Simon Rüttimann wrote:

    Allgemein ist Vorsicht geboten beim Rausziehen von Quantoren! Am besten, ihr lasst die Quantoren so nahe wie möglich an den Variablen, über die sie quantifizieren (Vgl. Musterlösung). Andernfalls kann es sein, dass die Formel nicht mehr äquivalent ist.
    @Laura: Deine Alternative ist ok. Quantoren im Konsequens einer solchen Formel können rausgezogen werden.
    @Uli: Diese Alternative geht nicht, da jetzt der Existenzquantor sowohl über das Antezedens, als auch das Konsequens der Formel quantifiziert, was eine andere Aussage zur Folge hat.

    Gruss, Simon

    Sonntag, Mai 25, 2014 at 14:42 | Permalink

Post a Comment

You must be logged in to post a comment.