Frage zum Unterschied zweier prädikatenlogischer Aussagen

05.11.2012, 13:33	QuantorForall	Auf diesen Beitrag antworten »
Frage zum Unterschied zweier prädikatenlogischer Aussagen Meine Frage: Die Frage mag simpel erscheinen, jedoch ist die Klärung für mich essenziell. Gibt es einen Unterschied zwischen den folgenden prädikatenlogischen Aussgen P und Q? $\begin{eqnarray} P := \left\{ \forall x \forall z (A(x) \wedge C(z)) : \exists y (B(y) \wedge D(x,y,z)\right\}<br /> Q := \left\{ \forall x \forall z \exists z (A(x) \wedge B(y) \wedge C(z) \wedge D(x,y,z))\right\} \end{eqnarray}$ Vielen Dank im voraus! Meine Ideen: Mir ist nicht ganz klar, ob die Reihenfolge der Quantoren, wenn sie direkt zusammen stehen, eine Rolle spielt oder ob solche Beziehungen durch den Doppelpunkt ausgedrückt werden müssen.
06.11.2012, 11:35	QuantorForall	Auf diesen Beitrag antworten »
Frage falsch formuliert? Falsches Forum? Oder kann mir tatsächlich niemand helfen? Ich würde mich sehr freuen, wenn jemand eine der Fragen beantworten könnte.

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »