Top Nutzer

Thema Mathematik
  1. 20 P.
  2. 10 P.
  3. 5 P.
Aussagenlogische Formel, Hilfe?

Als Mehrzad Marashi nach ausgiebigem Trödeln eine gute Viertelstunde zu spät zum Zaubertrankunterricht erscheint, erwartet sie eine Überraschung. Wie der Zaubertranklehrer Prof. Hornswaggles ihm mitteilt, haben seine acht Mitschüler im Rahmen eines Selbstversuchs jeweils einen Trank zu sich genommen – und zwar entweder einen Wahrheitstrank (Veritaserum) oder einen Lügentrank (Mendacioserum). Wer einen solchen Trank genommen hat, sagt stets die Wahrheit bzw. lügt stets.

Als Strafe für das Zuspätkommen muss Mehrzad herausfinden, wer welchen Trank genommen hat.Prof. Hornswaggles gibt ihm noch einenTipp:„Die Anzahl der Schüler, die Mendacioserum getrunkenhaben, ist ungerade.“

Nimm an,, dass jeder Schüler entweder Veritaserum bekommen hat und daher immer die Wahrheit sagt oder Mendacioserum bekommen hat und daher immer lügt. Gehen Sie außerdem davon aus, dass jeder Schüler genau weiß, wer welchen Trank getrunken hat.

Mehrzads Mitschüler teilen ihm Folgendes mit:

• Ariana sagt: „Wenn Bernd Mendacioserum getrunken hat, dann hat Gerhardius Veritaserum getrunken.“

• Bernd sagt: „Ich habe Veritaserum getrunken, aber Dexter trank Mendacioserum.“

• Claire sagt: „Weder Ariana noch Bernd haben Veritaserum getrunken.“

• Dexter sagt: „Francesca und Bernd haben unterschiedliche Tränke getrunken.“

• Emma sagt: „Ich habe denselben Trank wie Ariana getrunken.“

• Francesca sagt:

„Nur wenn Helen Veritaserum getrunken hat, hat auch Ariana Veritaserum getrunken.“

• Gerhardius sagt: „Mindestens ein Schüler hat Mendacioserum getrunken. “

• Helen sagt: „Entweder Claire hat Veritaserum getrunken oder sowohl Francesca als auch Gerhardius tranken Mendacioserum.“

Benutze die Variablen a,...,h mit den Bedeutungen „Ariana hat Veritaserum getrunken“, . . . ,„Helen hat Veritaserum getrunken“.

Ohne ernsthaften Versuch einer Begründung werden stets 0 Punkte vergeben.

a) i) Formalisiere die Aussagen von Mehrzads Mitschülern durch aussagenlogische Formeln φa ,φb,...,φh.Hinweis: Beispielsweise können Sie Alicias Aussage formalisieren durch φa:= (a↔(¬b→g)).

ii) Formalisiere Sie den Tipp von Prof. Hornswaggles (der natürlich der Wahrheit entspricht) durch eine Formel φt.

b) Stelle eine Formel auf, sodass die erfüllenden Belegungen widerspiegeln, wer

welchen Trank genommen hat. Hinweis: Wenn du alles richtig gemacht hast, besitzt

xi genau eine erfüllende Belegung.

Religion, Schule, Mathematik, Sprache, Informatik, Logik, Uni, Aussagenlogik, Wahrheitswerte, Diskrete Modellierung
1 Antwort

Meistgelesene Fragen zum Thema Mathematik

Wie groß ist ein Quadratmeter?

9 Antworten

Casio FX-991DE PLUS: wie Ergebnisse als Dezimalzahl anzeigen lassen?

4 Antworten

Word: Wie mache ich einen Strich über Buchstaben?

6 Antworten

Wie viele Kombinationen gibt es bei vier Zahlen bei einem Schloss?

8 Antworten

Wie gebe ich N über k in den Taschenrechner ein und berechne es?

4 Antworten

Neue Terrasse - wie berechne ich 2% Gefälle?

8 Antworten

Was ist ein 5-stelliger Betrag?

12 Antworten

1 Newton =? kg?

44 Antworten

Deg, Rad, oder Grad?

3 Antworten

Mathematik - Neue und gute Antworten