0 Daumen
1,7k Aufrufe

Seien P und Q zwei beliebige, einstellige Logikprädikate über der Grundmenge X. Vereinfachen Sie die folgenden Aussagen so weit wie möglich.

1)

  \( ∀v ∈ X(¬(∃w ∈ X\quad ∃x ∈X\quad ∀y ∈ X\quad ∃z ∈ X\quad : P(w) ∧ P(x) ∧ Q(y) ∧ ¬Q(z) ∧ ¬P(w))) \)

2)
\( ¬∃w ∈ X\quad : ¬P(x) ∧ (¬(Q(x) ⇒ Q(x)) ∨ (¬P(x) ⇒ P(x)))\)

Ich gaube dass bei der 2) nur \( ¬∃w ∈ X :  ¬P(x) ⇒ P(x)\) rauskommt, richtig? Und wie ist es denn bei der 1)?


Ich hätte es so gemacht:

  \( ∀v ∈ X(¬∃w ∈ X\quad ¬∃x ∈X\quad ∃y ∉ X\quad ¬∃z ∈ X\quad : ¬P(w) ∨ ¬P(x) ∨ ¬Q(y) ∨ Q(z) ∨ P(w)) \).

Oder kann man es noch weiter vereinfachen? So vieleicht? \( ∀v ∈ X( ∃y ∉ X : ¬P(w) ∨ ¬P(x) ∨ ¬Q(y) ∨ Q(z) ∨ P(w)) \)
Avatar von

1 Antwort

+1 Daumen
 
Beste Antwort

\(∀v ∈ X (¬(∃w ∈ X\quad ∃x ∈X\quad ∀y ∈ X\quad ∃z ∈ X\quad :\)

\(P(w) ∧ P(x) ∧ Q(y) ∧ ¬Q(z) ∧ ¬P(w)))\)

P(w) ∧ P(x) ∧ Q(y) ∧ ¬Q(z) ∧ ¬P(w)   ist für alle w ∈ X falsch

¬(∃w∈X ∃x∈X ∀y∈X ∃z∈X: (P(w) ∧ P(x) ∧ Q(y) ∧ ¬Q(z) ∧ ¬P(w)) ist also wahr

Die stärkste Vereinfachung ist " w ".

-------------------

Edit:

¬∃w ∈ X :(¬P(x) ∧ (¬(Q(x) ⇒Q(x)) ∨ (¬P(x) ⇒ P(x)))

   <=> w 

denn

 ¬P(x) ⇒ P(x) ist falsch für alle x∈X, also ist (¬(Q(x) ⇒Q(x)) ∨ (¬P(x) ⇒ P(x)) falsch für alle x∈X  

dann ist auch ¬ P(x) ∧ (¬(Q(x) ⇒Q(x)) ∨ (¬P(x) ⇒ P(x)) falsch für alle x∈X

¬ ∃w ∈ X: (¬ P(x) ∧ ((¬P(x) ⇒ P(x)))  ist also wahr


 

Avatar von 86 k 🚀

Vielen Dank schonmal.

Heißt das, dass bei der 1) dann

\(∀v ∈X (¬(∃x ∈ X\quad ∀y ∈X\quad ∃z∈ X : P(x) ∧ Q(y)∧ ¬Q(z))) \) am weitesten vereinfacht ist?

Wenn man die Negation ausklammern würde, würde dann auch x und z wegfallen?

Und noch eine Frage:

Muss in der letzten Lösung nicht  \( ¬∃x ∈ X... <=> ∀x∈P(x) \) stehen?

zu 1)  die weiteste Vereinfachung ist "w" und deine Vereinfachung ist falsch

zu 2)  deine Frage macht keinen Sinn: den Quantor ¬∃ kann man nicht ausklammern.

zu 3)  Die vorgegebene Aussage ist  ⇔∀ω ∈ X: P(x)

Tut mir leid, bin durcheinender gekommen.

Heißt dass jetzt dass bei der 1) nur w als Ergebnis rauskommt?
 
Ich wollte nicht den Quantor ¬E ausklammern, ich dachte dass man die geammte Aussage in der Klammer verneinen und so das ¬ wegkriegen könnte, also in dem Stil von ¬(¬A∨B) => (A∧¬B).

Und wie kommt man in der 2) auf ihr Ergebnis von  \(¬∃w ∈ X\quad : ¬P(x) ∧ (¬(Q(x) ⇒ Q(x)) ∨ (¬P(x) ⇒ P(x))\)
\(<=> ∀w ∈ X : P(x)\) ?
Da verstehe ich den Schritt von \(¬∃x ∈ X\) auf  \(¬∃w ∈ X\) nicht. Es gibt bei der 2) ja kein w.

Das ständige Hantieren mit den Quantoren nervt!

Ich antworte Im  EDIT der Frage

OH, bei der 2) hatte ich mich verchrieben. Tut mir leid.

Es heißt \( ¬∃x ∈ X\quad : ¬P(x) ∧ (¬(Q(x) ⇒ Q(x)) ∨ (¬P(x) ⇒ P(x)))\) Aber ich glaube es ist ja analog zu ihrer Lösung.

Ok, die 2) habe ich verstanden dann.

Könnten sie in der Fragestellung auch die 2) editieren? Würde die anderen nicht durcheinander bringen.

Hallo Wolfgang,

Macht es echt kein Unterschied wenn bei der Aussage in der 2) ¬∃x ∈X... statt ¬∃w∈X... steht wie Sam94 sagte? Weil die Aussage ja so von einer variabel w abhängig wäre.

Nein, so wie ich es verstanden habe ist es irrelevant. Falls ich mich irre hoffe ich, dass -Wolfgang- mich korrigiert.

Wenn die Aussage A(x) für alle x∈X falsch ist, kann es doch kein ω existieren, für dass A(x) nicht falsch ist.

Ich finde das mit dem ω allerdings auch seltsam.

Ich glaube, das ω ist ein Tippfehler, sollte wohl x heißen.

Ja, es war ein Tippfehler von mir in der 2).

Also die 2) lautet:

\( ¬∃x∈X:¬P(x)∧(¬(Q(x)⇒Q(x))∨(¬P(x)⇒P(x))) \)


Macht aber bei ihrer Lösung kein Unterschied ne? Die Vereinfachung ergibt dann auch wahr.

Nein, nach Wolfgangs Rechnung nicht.

Kann man bei der 1) dann nicht auch schreiben:

∀w∈X

oder ist hier in dem Fall nur "w" richtig? :)

Meinst du nicht ∀v∈X ? ;)

Ich glaube man schreibt: ∀v∈X = wahr. Bzw. die Aussage ist für alle v∈X wahr.

Obwohl mit vereinfachen auch nur umformen gemeint ist dachte ich.

Ich bin leider auch etwas verwirrt :P
Weil man soll ja erstmal nur umformen. Also bei 1) das nach dem Doppelpunkt ist ja wegen P(w)∧¬P(w) alles falsch bzw. wahr je nachdem wie man es nun betrachtet. Aber wieso verschwinden dann vorne ∃x∈X, ∀y∈X, usw.? Kann man die einfach wegstreichen, weil die Variablen nicht mehr benötigt werden oder wie kommt man darauf? :)

Weil -Wolfgang- meinte oben ja mal, dass gilt: "die weiteste Vereinfachung ist "w""
Dabei ist ja so gut wie alles weggefallen :)

Ich habe unter "w" nur "wahr" verstanden. Also dass dadurch, dass ...(P(w) ∧ P(x) ∧ Q(y) ∧ ¬Q(z) ∧ ¬P(w)... weggfällt, die geammte Aussage wahr ist. Aber da mit vereinfachen ja umformen gemeint ist, bin ich auch total vewirrt.

Ich könnte be der 1) nur so weit vereinfachen:


∀v ∈ X(¬(∃w∈X ∃x∈X ∀y∈X ∃z∈X: (P(w) ∧ P(x) ∧ Q(y) ∧ ¬Q(z) ∧ ¬P(w)))


∀v ∈ X(¬(∃w∈X ∃x∈X ∀y∈X ∃z∈X: ( P(x) ∧ Q(y) ∧ ¬Q(z)))

Weil sich P(w) ∧ ¬P(w) ausschließt.

Achso ja kann gut sein :P

Oder vielleicht meint man es auch so:

∀v ∈ X(¬(∃w∈X ∃x∈X ∀y∈X ∃z∈X: (P(w)  P(x) ∧ Q(y) ∧ ¬Q(z) ∧ ¬P(w)))

∀v ∈ X(¬(∃w∈X ∃x∈X ∀y∈X ∃z∈X: (P(w)  ¬P(w)  P(x) ∧ Q(y) ∧ ¬Q(z) ))

Dann ist nun P(w)  ¬P(w) falsch, was dazu führt, dass (P(w)  ¬P(w)  P(x) ∧ Q(y) ∧ ¬Q(z)) falsch ist

Dann hat man ja ∀v ∈ X(¬(∀w∈X ∀x∈X ∃y∈X ∀z∈X: (Aussage Falsch)))

und durch die Negation am Anfang wieder

∀v ∈ X(∃w∈X ∃x∈X ∀y∈X ∃z∈X: (Aussage wahr)

Und dann ist es halt egal was für v,w,x,y,z wählt
Die Aussage ist immer wahr

Vlt meint man es so :)

Klingt absolut logisch =)

Könnte vielleicht ein Profi sagen ob's stimmt? Dass schlimme ist ja, dass wir weder so eine Aufgabe jemals gemacht haben, noch dass es ansatzweise vergleichbare Aufgaben mit Lösungen gibt.

Also nach dieser Lösung von dieser Aufgabe stimmt es was du bzw. -Wolfgang- gesagt haben.

https://www.mathelounge.de/50290/vereinfachen-sie-die-folgenden-logischen-ausdrucke-%C2%ACa-%C2%ACb-%C2%ACa

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community