Liebe Tutor*innen
Stimmt folgende Formalisierung für die oben stehende Aussage aus dem ÜB 6, Aufg. 5.d) ? (In den Lösungen steht diese Form nicht.)
Ax((Qx->Ez(Pz^Qxz))^(Ay(Py^Qxy)->y=x))
Vielen Dank im Voraus!
Weblog zur Einführung in die formale Logik [13. Jahrgang]
Liebe Tutor*innen
Stimmt folgende Formalisierung für die oben stehende Aussage aus dem ÜB 6, Aufg. 5.d) ? (In den Lösungen steht diese Form nicht.)
Ax((Qx->Ez(Pz^Qxz))^(Ay(Py^Qxy)->y=x))
Vielen Dank im Voraus!
Liebe Meret
Im Allgemeinen bietet sich das Baumkalkül an, um die Äquivalenzen zweier Formeln zu prüfen. Natürlich kann man sich bereits im Voraus überlegen, was denn die vorliegenden Formeln besagen, ob die Vermutung der Äquivalenz überhaupt berechtigt ist oder ob nicht einfach andere Probleme aufzufinden sind. In deinem Fall trifft letzteres zu: Einerseits hast du dieselbe Prädikatenkonstante für zwei differente Prädikationen, nämlich „Qx“ und „Qxz“, und andererseits hast du in deiner Formalisierung für den Allquantor, in dessen Skopus x liegt, eine Konjunktion als den Hauptoperator (also „∀x(X∧Y)“). Daraus kannst du schliessen, dass die Ausdrücke nicht äquivalent sind (der Ambiguität von „Q“ wegen ist dein Ausdruck auch keine Formel von PLi). Ich hätte also vorgeschlagen, du revidierst deinen Ausdruck, und dann schauen wir nochmals weiter(:
Ganz liebe Grüsse
Udi