Logische Schlussfolgerung

Tut mir leid, aber die Aufgabe verstehe ich nicht. Was bedeutet zum Beispiel [tex]A\Rightarrow B\lor C[/tex] - als Satz? Was sind A, B und C? Und zweitens: Wie soll man durch irgendwelche Aussagen allein eine Täterschaft feststellen? ...

Es gibt also drei Aussagen

[tex]X=(A\Rightarrow (B\lor C))[/tex]
[tex]Y=(B\Rightarrow \neg A)[/tex]
[tex]Z=(C\Rightarrow B)[/tex]

Und weiter: Wie lautet die Frage?

PS Alle drei können nicht gleichzeitig wahr sein.

Da muß ich leider passen (liegt knapp 50 Jahre zurück) und falls kein Kollege hier einspringt: Bei matheboard.de langweilt sich eine ganze Kompanie echter Fachleute.

Es lässt sich auf jeden Fall sagen, dass Anna unschuldig ist. Nimmt man nämlich an, sie wäre schuldig, so würde aus [TEX] A \Rightarrow B \lor C[/TEX] folgen, dass entweder auch Beate oder Carmen schuldig sein müsste. Wir müssen dann zwei Fälle betrachten:

1. Beate ist ebenfalls schuldig. Dann liefert aber [TEX]B \Rightarrow \neg A[/TEX] den Widerspruch, dass Anna unschuldig ist.
2. Carmen ist ebenfalls schuldig. Dann liefert zunächst [TEX]C \Rightarrow B[/TEX], dass Beate ebenfalls schuldig ist. Anschließend liefert uns wie schon im ersten Fall die Aussage [TEX]B \Rightarrow \neg A[/TEX] den Widerspruch, dass Anna unschuldig ist.

Die Annahme, dass Anna schuldig ist, führt also in jedem Fall auf den Widerspruch "Anna ist unschuldig", so dass nur Beate oder Carmen schuldig sein können; Anna muss auf jeden Fall unschuldig sein.

Nehmen wir an, dass es tatsächlich mindestens eine Täterin gibt, dann muss wegen des bisher Gesagten Beate oder Carmen (oder beide) eine Täterin sein. Falls Carmen eine Täterin ist, dann ist wegen [TEX]C \Rightarrow B[/TEX] aber auch Beate Täterin. Das heißt, Beate ist in jedem Fall Täterin. Falls es also genau eine Täterin gibt, dann muss es Beate sein, falls es mehr als eine Täterin geben kann, dann könnten es Beate und Carmen sein.