Obsthändler < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | An einen Händler wird die Frage gerichtet, welche von den Obstsorten Apfelsinnen, Bananen, und Kirschen er nächste Woche anbieten wird. Er antwortet:
(1) Wenn ich Apfelsinnen und Bananen anbiete, dann auch Kirschen.
(2) Apfelsinnen finden Sie bei nur dann, wenn ich Bananen anbiete.
(3) Fehlen bei mir hingegen Bananen, so habe ich immerhin Kirschen.
(4) Allerdings werde ich nicht alle Obstsorten anbieten. |
Das Umwandeln in eine logische Form in Punkt 1 bis 3 ist mir klar
1) A [mm] \wedge [/mm] B [mm] \to [/mm] K
2) B [mm] \to [/mm] A
3) [mm] \neg [/mm] B [mm] \to [/mm] K
Bei 4 fehlt mir der korrekte Ansatz. Eventuell A [mm] \vee [/mm] B [mm] \vee [/mm] K ?
Vielen Dank für Hilfe
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Deine Lösung würde ja bedeuten: mindestens eine Sorte hat er, d.h. dann wäre auch zugelassen, dass er alle hat.
Besser:
[mm] \neg [/mm] (A [mm] \wedge [/mm] B [mm] \wedge [/mm] K) (in Worten etwa: nicht alle Sorten sind da)
Was nach de Morgan dasselbe wäre wie:
[mm] (\neg A)\vee (\neg B)\vee (\neg [/mm] K) (in Worten: mindestens eins nicht)
Gruß,
weightgainer
|
|
|
|
