Kommentare zu: http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=473 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=473#comment-40 Sun, 25 May 2014 12:42:39 +0000 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=473#comment-40 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

]]> Von: Laura http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=473#comment-39 Sun, 25 May 2014 08:52:19 +0000 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=473#comment-39 selbe Frage allerdings für folgende Formalisierung:
AxEy(Px -> (Qy^Rxy))

]]>