Praedikatenlogik Umformung

23.10.2014, 00:11	Samq	Auf diesen Beitrag antworten »
Praedikatenlogik Umformung Meine Frage: Hallo Mir wurde die Aufgabe gestellte, die folgende Praedikatenlogische Formel so zu negieren, sodass das Resultat kein Negationssymbol enthaelt: $\begin{eqnarray} \exists e \in \mathbb R . e > 0 \wedge \forall n \in \mathbb N . \exists m \in \mathbb N . m \geq n \wedge \frac{1}{m} \geq e \end{eqnarray}$ Ich habe dafuer folgendes raus und wollte fragen ob beides richtig ist. Meine Ideen: $\begin{eqnarray} \forall e \in \mathbb R . e < 0 \vee \exists n \in \mathbb N . \forall m \in \mathbb N . m < n \vee \frac{1}{m} < e \end{eqnarray}$
23.10.2014, 00:45	Stephan Kulla	Auf diesen Beitrag antworten »
RE: Praedikatenlogik Umformung Habe kein Fehler entdeckt
23.10.2014, 00:52	Helferlein	Auf diesen Beitrag antworten »
RE: Praedikatenlogik Umformung Ich schon: $\begin{eqnarray} \forall e \in \mathbb R . e \color{red}\leq\color{black}0~... \end{eqnarray}$
23.10.2014, 00:56	Stephan Kulla	Auf diesen Beitrag antworten »
RE: Praedikatenlogik Umformung @Helferlein: Jop, das ist mir wirklich entgangen...

1

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »