 |
 |
 |
 |
 |
 |
Startseite » Forum » Logik Rätsel mit Mathematischer Beweisführung
Logik Rätsel mit Mathematischer Beweisführung
Universität / Fachhochschule
Sonstiges
Tags: Beweis, Formel, wahrheitstafel
 
|
  |
|---|
|
Ich fang hier an langsam zu verzweifeln. Ich sitze seit 3 Tagen dran und ich weiß nicht wie ich es lösen soll. Zur Zeit hat es auch noch niemand in Info lösen können Abu, Ibn und Hasib stehen vor Gericht. Es ist bekannt, dass einer von ihnen schuldig ist. Abu behauptet unschuldig zu sein. Ibn bestätigt, dass Abu unschuldig ist. Hasib schließlich behauptet, dass er selbst schuldig ist. Im Verlauf des Gerichtsverfahrens stellt sich heraus, dass der Schuldige gelogen hat. Wer ist der Schuldige? Nun soll man die Aussagen in logische Formeln wandeln und dann anhand einer Wahrheitstafel gezeigt werden wer der schuldige ist, Aber einer der Hauptprobleme ist es nun zu erfahren wer gelogen hat Hat nur der gelogen, welcher als schuldig genannt ist oder hat der wahre Schuldige gelogen oder haben sogar mehrere gelogen? Ich/Wir brauchen hier echt eure Hilfe, sonst springen wir noch vor Verzweiflung aus dem 5.Stock Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
| Hierzu passend bei OnlineMathe: Mitternachtsformel |
|
 |
|
anorien.cs.uni-dortmund.de/ie/teaching/lectures/06ws/vorlesung/uebungen/dvew00.pdf Hier ist die komplette Aufgabe gestellt (Aufgbe sie enthält zumindest die Lösung, dass Abu schuldig ist. Wie man aber auf diese Lösung kommt, keine Ahnung! |
 |
|
Abu hätte ich ehrlich gesagt als letztes beschuldigt. Jetzt bin ich noch verwirrter als am Anfang . Ich dachte Ibn wäre der Schuldige, da wenn einer gelogen hat es Hasib (der sich Schuldig bekannte) wäre und er so auch unschuldig wäre, damit kann dann nur noch Ibn der Schuldige sein, aber wie beweis ich das anhand von Formeln und einer Wahrheitstafel? Für den Lösungsweg? |
|
|
|
Mache eine Tabelle mit vier Spalten und drei Zeilen. Einträge in den Spaltenköpfen: Annahme; Abu; Ibn; Hasib Eintrag erste Zeile: Ibn ist schuldig; wahr; wahr; gelogen Eintrag zweite Zeile: Abu ist schuldig; gelogen; gelogen; gelogen Eintrag dritte Zeile: Hasib ist schuldig; wahr; wahr; wahr Wie man diesen Sachverhalt "Abu ist schuldig und hat gelogen" formal darstellt kann ich dir nicht sagen. KFWEI Mengenlehre: Wenn zwei Personen in einem Raum sind und drei kommen heraus, dann muss einer wieder hineingehen, damit der Raum leer ist. |
|
|
|
OK danke ersteinmal für die Antwort. Kann ich jetzt entsprechend bei der Annahme Ibn wahr, Hasib falsch und Abu falsch eintragen? Reicht das aus? Und wie mache ich das jetzt per Formel deutlich |
|
|
|
Also ich habe folgende Formel zusammengestellt: und oder und oder und T(Richtig) Abu wahr Ibn wahr Hasib wahr Dann wäre nur eine möglichkeit verfügbar und da und bedeutet. Ist das so richtig? |
 |
|
Ich hab es nun danke. |
928755
928416