Aufgabe zur Aussagenlogik (Hilfe!)?
Guten Abend, anbei habe ich eine Aufgabe zur Aussagenlogik, allerdings komme ich derzeit nicht weiter. Ist jemand so nett und kann sie lösen?
Hier die Aufgabe:
An einen Händler wird die Frage gerichtet, welche von den Obstsorten Äpfel, Birnen, Zitronen und Datteln er nächste Woche anbieten wird. Er antwortet:
„Wenn ich Äpfel und Zitronen habe, dann auch Datteln.
Und wenn Birnen in meinem Angebot fehlen, habe ich jedenfalls Zitronen.
Datteln werde ich aber nur dann anbieten, wenn ich auch Zitronen habe.
Und wenn Sie Zitronen in meinem Angebot finden, dann auch Äpfel und Birnen.
Habe ich allerdings Birnen, so sind entweder Äpfel und Datteln in meinem Angebot oder beide Obstsorten nicht.
Aber ich fürchte, Sie werden in meinem Angebot nicht alle vier Obstsorten zugleich finden.“
Welche Obstsorten wird der verwirrte Kunde im Angebot des Händlers entdecken?
[(Ä ^ Z) -> D ] ^ [/B -> Z] ^ [D -> Z] ^ [Z -> (A ^ B)] ^ [B -> (A ^ D) v (/A ^ /D) ] ^ [ (/A+/Z+/D+/B)]
