Aussagenlogik

Wissenschaft Informatik
#1

Hallo,

ich habe ein Problem mit folgender Aufgabe:

Ein Fall aus den Akten von Inspektor Craig
Ein Laden ist ausgeraubt worden. Für die Tat kommen ausschließlich die Personen A, B, C in Frage. Craig konnte 2 der Betroffenen verhören, wobei die folgenden Aussagen gemacht wurden:
A: B und C sind beide unschuldig
B: A ist schuldig und C ist unschuldig

Es ist zu beachten, dass Täter grundsätzlich lügen und Unschuldige grundsätzlich die Wahrheit sagen.

a) Drücken Sie die Sachverhalte durch logische Formeln aus.
b) Wer war(en) der (die) Täter?

Wäre nett wenn sich mal jemand damit befassen könnte, der Ahnung davon hat.
Wichtig ist die Aufgabe mit Aussagenlogik lösen da laut unserem Dozenten mit anderen Ansätzen andere Ergebnisse herauskommen könnten!

vielen Dank für eure Bemühungen!

gruß
computerschrotter

#2

Sinn eines Studiums

Wäre nett wenn sich mal jemand damit befassen könnte, der
Ahnung davon hat.
Wichtig ist die Aufgabe mit Aussagenlogik lösen da laut
unserem Dozenten mit anderen Ansätzen andere Ergebnisse
herauskommen könnten!

Hallo,

der Sinn von Übungsaufgaben besteht darin, sich selbst mit dem Inhalt der Vorlesungen auseinander zu setzen. Sonst kommt man im Studium nicht weit.

McGee

#3

Auch hallo.

a) Drücken Sie die Sachverhalte durch logische Formeln aus.

Also Quantoren: http://de.wikipedia.org/wiki/Quantor

b) Wer war(en) der (die) Täter?

Da könnte FAQ:273 evtl. weiterhelfen (wobei hier nur 2 Akteure auftreten und nicht 3).

mfg M.L.

#4

Vielen Dank für diesen schlauen Hinweis, aber du wirst es kaum glauben ich und mein ganzer Kurs haben die Aufgabe gerechnet. Allerdings steht unser Ergebnis im Wiederspruch zu dem unseres Dozenten. Deswegen hätte ich nun gerne eine unabh. dritte Meinung. Und Erläutern kann/will unser Dozent sein Ergebnis nicht.

Gruß
computerschrotter

[Bei dieser Antwort wurde das Vollzitat nachträglich automatisiert entfernt]

#5

Hallo,

ich betrachte das mal als Denksportaufgabe. Ob das Ergebnis richtig ist, kann ja jeder prüfen, und ob ich die richtige Syntax verwende, ebenfalls.

Ich verwende die Abkürzungen u für unschuldig und s für schuldig.

Prämisse: Mindestens einer der drei ist schuldig:

**0.** A=s OR B=s OR C=s

Erste Aussage:
A: B und C sind beide unschuldig
Dann gilt

**1.** (A=u AND B=u AND C=u) OR [A=s AND (B=s OR C=s)]
 geht nicht wegen 0. könnte gehen

Zweite Aussage:
B: A ist schuldig und C ist unschuldig
Dann gilt

**2.** (A=s AND B=u AND C=u) OR [B=s AND (A=u AND C=s)] OR [B=s AND (A=u OR C=s)]
 geht nicht wegen 1. geht nicht wegen 1. geht mit A=s AND C=s

Also sind alle drei schuldig.

Wichtig ist die Aufgabe mit Aussagenlogik lösen da laut
unserem Dozenten mit anderen Ansätzen andere Ergebnisse
herauskommen könnten!

Na ja, ohne Logik können sicher alle möglichen Ergebnisse herauskommen :wink:

Guck mal, ob du damit was anfangen kannst!

Cheers, Felix

#6

Hallo,

Hallo,

ich habe ein Problem mit folgender Aufgabe:

Ein Fall aus den Akten von Inspektor Craig
Ein Laden ist ausgeraubt worden. Für die Tat kommen
ausschließlich die Personen A, B, C in Frage. Craig konnte 2
der Betroffenen verhören, wobei die folgenden Aussagen gemacht
wurden:
A: B und C sind beide unschuldig
B: A ist schuldig und C ist unschuldig

Bei den Aussagen, bedeutet dies das A die Aussage gemacht hat B und C sei unschuldig? Oder ist A hier ein Aufzählungszeichen? So wie du es schreibst mussten Aussagen von A und B vorliegen

Es ist zu beachten, dass Täter grundsätzlich lügen und
Unschuldige grundsätzlich die Wahrheit sagen.

a) Drücken Sie die Sachverhalte durch logische Formeln aus.
b) Wer war(en) der (die) Täter?

Wäre nett wenn sich mal jemand damit befassen könnte, der
Ahnung davon hat.
Wichtig ist die Aufgabe mit Aussagenlogik lösen da laut
unserem Dozenten mit anderen Ansätzen andere Ergebnisse
herauskommen könnten!

vielen Dank für eure Bemühungen!

gruß
computerschrotter