Eine Art Einstein-Rätsel < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Wer besucht die Party?
1. Alice erscheint vielleicht, aber nur wenn Bob kommt:
2. Bob erscheint nicht, wenn nicht auch Corinne da ist.
3. Wenn Corinne erscheint, dann auch100%-tig Didi.
4. Wenn Bob und Didi beide da sind, dann erscheint Corinne sicher nicht.
5. Didi erscheint nur, wenn Alice oder Corinne da sind.
6. Mindestens eine Person erscheint. |
Hallo,
bei obiger Aufgabe komme ich nicht weiter. Meine Lösung bisher:
Aussagenvariablen:
A: "Alice erscheint auf der Party"
B: "Bob erscheint auf der Party"
C: "Corinne erscheint auf der Party"
D: "Didi erscheint auf der Party"
Behauptungen:
[mm] B_{1}: A\to [/mm] B
[mm] B_{2}: \neg C\to\neg [/mm] B
[mm] B_{3}: C\to [/mm] D
[mm] B_{4}: B\wedge D\to\neg [/mm] C
[mm] B_{5}: D\to A\wedge [/mm] C
[mm] B_{5}: A\vee B\vee C\vee D\gdw [/mm] 1
Zunächst wäre die Frage, ob das bisher richtig ist. Vor allem bei B5 bin ich mir unsicher.
Meine größere Frage ist jedoch, wie es jetzt weitergeht. Muss ich jetzt dort draufgucken und nach einer Lösung suchen? Da gibt es doch bestimmt einen systematischen Weg für, oder?
Die Frage wurde in keinem anderen Forum gestellt.
|
|
| |
|
> Wer besucht die Party?
>
> 1. Alice erscheint vielleicht, aber nur wenn Bob kommt:
> 2. Bob erscheint nicht, wenn nicht auch Corinne da ist.
> 3. Wenn Corinne erscheint, dann auch100%-tig Didi.
> 4. Wenn Bob und Didi beide da sind, dann erscheint Corinne
> sicher nicht.
> 5. Didi erscheint nur, wenn Alice oder Corinne da sind.
> 6. Mindestens eine Person erscheint.
> Hallo,
>
> bei obiger Aufgabe komme ich nicht weiter. Meine Lösung
> bisher:
>
> Aussagenvariablen:
>
> A: "Alice erscheint auf der Party"
> B: "Bob erscheint auf der Party"
> C: "Corinne erscheint auf der Party"
> D: "Didi erscheint auf der Party"
>
> Behauptungen:
>
> [mm]B_{1}: A\to[/mm] B
> [mm]B_{2}: \neg C\to\neg[/mm] B
> [mm]B_{3}: C\to[/mm] D
> [mm]B_{4}: B\wedge D\to\neg[/mm] C
> [mm]B_{5}: D\to A\wedge[/mm] C ![[notok]](/images/smileys/notok.gif "[notok]")
> [mm]B_{6}: A\vee B\vee C\vee D\gdw[/mm] 1
>
> Zunächst wäre die Frage, ob das bisher richtig ist. Vor
> allem bei B5 bin ich mir unsicher.
> Meine größere Frage ist jedoch, wie es jetzt weitergeht.
> Muss ich jetzt dort draufgucken und nach einer Lösung
> suchen? Da gibt es doch bestimmt einen systematischen Weg
> für, oder?
Hallo 2.0
soweit ich sehe, ist tatsächlich bei [mm] B_5 [/mm] ein Fehler. Dort
müsste es heißen:
[mm]B_{5}: D\to (A\vee{C})[/mm]
Das Auffinden einer Lösung ist nachher gar nicht schwer.
Nimm z.B. einmal an, A sei dabei und überleg dir die
Konsequenzen. Man sieht rasch, dass dies auf einen
Widerspruch führt. Also ist A nicht dabei. Fahr dann in
diesem Sinne weiter.
Übrigens: [mm] B_2 [/mm] kann man einfacher schreiben.
LG Al-Chw.
|
|
|
| |
|
Danke, werde ich probieren.
Eine Frage noch: Stimmt, B5 ist falsch. Aber eigentlich war ich mir bei B6 unsicher. Ist das denn so richtig?
|
|
|
| |
|
> Danke, werde ich probieren.
> Eine Frage noch: Stimmt, B5 ist falsch. Aber eigentlich
> war ich mir bei B6 unsicher. Ist das denn so richtig?
[mm] B_6 [/mm] könnte man einfach so schreiben: [mm] A\vee{B}\vee{C}\vee{D}
[/mm]
LG Al-Chw.
|
|
|
| |
|
Vielen Dank, Aufgabe gelöst. :)
|
|
|
|
