Wahrheit in Aussagenlogik

01.11.2013, 00:57	mathejunge	Auf diesen Beitrag antworten »
Wahrheit in Aussagenlogik Meine Frage: 1. $\begin{eqnarray} \forall a \in \mathbb{R} \forall b \in \mathbb{R} \exists c \in \mathbb{R}: a = b + c \end{eqnarray}$ und 2. $\begin{eqnarray} \forall a \in \mathbb{R} \exists b \in \mathbb{R} \forall c \in \mathbb{R}: a = b + c \end{eqnarray}$ Meine Ideen: ich weiß nicht, was ich machen soll. habe leider keine idee.. kann man vielleicht irgendwie sagen, da $\begin{eqnarray} c = a - b \end{eqnarray}$ gilt: $\begin{eqnarray} a = b + (a - b) \Rightarrow a = a \end{eqnarray}$ ?? aber selbst da wüsste ich nicht, wie ich es aufschreiben soll.. oder darf ich das so??
01.11.2013, 02:03	mathejunge	Auf diesen Beitrag antworten »
Ergänzung der Idee $\begin{eqnarray} c = a - b \end{eqnarray}$ Da $\begin{eqnarray} (a - b) \in \mathbb{R} \end{eqnarray}$ , ist die AUssage wahr. kann ich das so schreiben und für das andere wäre dann ja falsch.. aber gleiches prinzip.. oder?

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »