Aussageformen

07.10.2011, 15:05	STR1	Auf diesen Beitrag antworten »
Aussageformen Seien $\begin{eqnarray} A_1(.) \end{eqnarray}$ und $\begin{eqnarray} A_2(.) \end{eqnarray}$ einstellige Aussageformen mit zugehörigen Klassen $\begin{eqnarray} M_1 \end{eqnarray}$ bzw. $\begin{eqnarray} M_2 \end{eqnarray}$ . Zeigen Sie: $\begin{eqnarray} (\exists x \in M_2 : A_2(x)) \Rightarrow (\exists a \in M_1 : A_1(x)) \equiv \exists a \in M_1 \forall x \in M_2 : (A_2(x) \Rightarrow A_1(a)) \end{eqnarray}$ Idee: $\begin{eqnarray} (\exists x \in M_2 : A_2(x)) \Rightarrow (\exists a \in M_1 : A_1(x)) <br /> <br /> \equiv \neg (\exists x \in M_2 : A_2(x)) \vee (\exists a \in M_1 : A_1(x))<br /> \equiv \forall x \in M_2 : \neg A_2(x)) \vee (\exists a \in M_1 : A_1(x)) \end{eqnarray}$ jetzt weiß ich nicht wirklich weiter, wir haben im Skriptum den Satz mit dem ich versucht hab weiter zu kommen! $\begin{eqnarray} B \vee (\exists a \in M : A(a)) \equiv \exists a \in M : (B \vee A(a)) \end{eqnarray}$ also dann weiter $\begin{eqnarray} \exists a \in M_1 \forall x \in M_2 : \neg A_2 \vee A_1(x) \equiv \exists a \in M_1 \forall x \in M_2 : (A_2(x) \Rightarrow A_1(a)) \end{eqnarray}$ somit komme ich dort hin was ich zeigen möchte, aber ich hab keinen Plan wie ich argumentiere, dass sich die Aussageformen vertauschen! Weiters wüsste ich gerne wie ich so einen Satz $\begin{eqnarray} B \vee (\exists a \in M : A(a)) \equiv \exists a \in M : (B \vee A(a)) \end{eqnarray}$ beweisen kann, den im Skriptum steht nur der Satz und kein einziger Hinweis wie das gehn könnte! Danke im Voraus für eure Hilfe! lg
07.10.2011, 18:38	STR1	Auf diesen Beitrag antworten »
bitte helfen ich komm nicht weiter
08.10.2011, 16:58	ChristianII	Auf diesen Beitrag antworten »
Hallo, kann es sein, dass es "A1(a)" anstatt "A1(x)" heißt (in der 2. Klammer?). Gruß Christian

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »