Aussagelogik - Problem mit der Aufgabe

18.10.2015, 17:01	Anonymus3423	Auf diesen Beitrag antworten »
Aussagelogik - Problem mit der Aufgabe Meine Frage: Guten Abend, ich brauche Hilfe bei der Aufgabe, den ich verstehe diese ehrlich gesagt nicht. Mir fehlt der Ansatz. Würde über mich über jeden Tipp freuen! Meine Ideen: Keine
18.10.2015, 20:16	echnaton	Auf diesen Beitrag antworten »
Die beiden Aussagen unterscheiden sich nur in der Reihenfolge der Quantoren $\begin{eqnarray} \forall \end{eqnarray}$ und $\begin{eqnarray} \exists \end{eqnarray}$ . Dadurch entstehen aber zwei völlig verschiedene Aussagen. Eine Reihenfolge ergibt eine "stärkere" Behauptung als die andere. Bei Aussage $\begin{eqnarray} \mathcal{B} \end{eqnarray}$ muss ein (bestimmtes) $\begin{eqnarray} n \end{eqnarray}$ für alle $\begin{eqnarray} m \end{eqnarray}$ existieren. Wie sieht es nun bei Aussage $\begin{eqnarray} \mathcal{A} \end{eqnarray}$ aus? Muss das $\begin{eqnarray} n \end{eqnarray}$ für alle $\begin{eqnarray} m \end{eqnarray}$ gleich sein?

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »