0 Daumen
320 Aufrufe

Aufgabe:

x und y sind reelle Zahlen.

1. ∀x∃y : x=y+1

2. ∀y∃x : x ²<y

3. ∀x : x²≥1 ⇒ x≥1

4. ∀x : (x+1)² >0⇔x≠−1

Negation der wahren Aussagen bilden

Widerlegung der falschen Aussagen mit einem Gegenbeispiel


Problem/Ansatz:

Bräuchte Hilfe bei der Negation der wahren Aussagen und den Gegenbeispiele

von

Kann es nicht mehr bearbeiten. Wollte fragen ob, die Negationen von 1. und 2. so stimmen.

1. ∃x∀y: x≠y+1

2. ∃x∀y : x²≥y

Die Negationen sind richtig.

3 Antworten

+5 Daumen
 
Beste Antwort

Aloha :)

Ich muss noch kurz antworten, weil die Hälfte von Rolands Antworten falsch ist:

1. ∀x∃y : x=y+1

ist wahr, wähle \(y=x-1\).

2. ∀y∃x : x ²<y

Ist falsch, für \(y=-1\) gibt es kein solches \(x\).

3. ∀x : x²≥1 ⇒ x≥1

ist  falsch, aus \(x^2=1\) folgt \(x=\pm1\) und \(-1\not\ge1\).

4. ∀x : (x+1)² >0⇔x≠−1

ist wahr, \((x+1)^2\) ist immer \(\ge0\) und es ist \(=0\) genau dann, wenn \(x=-1\).

von 15 k
+1 Daumen

1. ∀x∃y : x=y+1 wahr

2. ∀y∃x : x ²<y falsch

3. ∀x : x²≥1 ⇒ x≥1 falsch

4. ∀x : (x+1)² >0⇔x≠−1 wahr

von 64 k 🚀

Warum soll Aussage 2 wahr sein?

Falls \( y = -1 \) gilt, gibt es kein \( x \) mit \( x^2 < -1 \)

Falls \( (x+1)^2 > 0 \) gilt, folgt \(  x+1 \ne 0 \) also \( x \ne -1 \). Und wenn \( x \ne -1 \) gilt folgt \( x+1 \ne 0 \) also \( (x+1)^2 > 0 \)

@Roland

Bevor du 4)  auch noch korrigierst (wie 2)) solltest wohl du wenigstens die hinweisenden Kommentare von Spacko und ullim bestätigen. Ersterer erscheint zur Zeit - zu Unrecht - ziemlich sinnlos.

+1 Daumen
Negation der wahren Aussagen bilden

¬∀x φ(x) ≡ ∃x ¬φ(x)

¬∃x φ(x) ≡ ∀x ¬φ(x)

¬(φ(x) ∧ ψ(x)) ≡ ¬φ(x) ∨ ¬ψ(x)

¬(φ(x) ∨ ψ(x)) ≡ ¬φ(x) ∧ ¬ψ(x)

¬(φ(x) ⇒ ψ(x)) ≡ φ(x) ∧ ¬ψ(x)

¬(φ(x) ⇔ ψ(x)) ≡ φ(x) ⇔ ¬ψ(x)

Damit kannst du zum Beispiel ∀x: ((x+1)²>0 ⇔ x≠−1) negieren:

  ¬∀x: ((x+1)²>0 ⇔ x≠−1)

≡ ∃x: ¬( (x+1)²>0 ⇔ x≠−1 )

≡ ∃x: ( (x+1)²>0 ⇔ ¬x≠−1 )

≡ ∃x: ( (x+1)²>0 ⇔ x=-1 )

von 44 k  –  ❤ Bedanken per Paypal

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage sofort und kostenfrei

x
Made by a lovely community
...