 |
 |
 |
 |
 |
 |
Startseite » Forum » Aussagenlogik
Aussagenlogik
Universität / Fachhochschule
Sonstiges
Tags: Aussagenlogik
 
|
  |
|---|
|
Aufgabenstellung: Es hat einen Einbruch gegeben und die Polizei hat drei Verdächtige festgenommen. Kommissar Moser versucht nun durch logische Schlussfolgerungen den oder die Täter zu ermitteln: „Klose ist nicht clever genug sowas alleine durchzuziehen, der würde immer seinen Kumpel Lehmann mitnehmen. Lehmann und Müller können nicht miteinander, die haben garantiert kein Ding zusammengedreht. Wenn Lehmann oder Müller unschuldig ist, dann muss Klose ein Täter sein.“ Helfen Sie bei der Aufklärung des Falles, indem Sie geeignete Aussagen(verknüpfungen) definieren und deren Wahrheitswert mittels Wahrheitstabelle oder logischer Umformungen überprüfen. Kann mir jemand bitte seinen Lösungsweg zu dieser Aufgabe präsentieren? Vielen Dank im Voraus ;-)  |
|
 |
|
Definition der atomaren Aussagen: "Klose ist Täter" "Lehmann ist Täter" "Müller ist Täter" Analysieren der gegebenen Aussagen: "Klose ist nicht clever genug sowas alleine durchzuziehen": (Wenn Klose Täter ist, dann auch Lehmann) "Lehmann und Müller können nicht miteinander": ¬( ¬ ∨ ¬ (Nicht beide können Täter sein) "Wenn Lehmann oder Müller unschuldig ist, dann muss Klose ein Täter sein": (¬ ∨ ¬ Wahrheitstabelle aufstellen: |
|
|
|
Statt äre sinnvoller. Zusammenfassung : Verwendet die aussagelogischen Regeln, usw, Man erhält dann den einfachen Term . also sind und die Täter. Wahrheitstabelle ist möglich, würde aber viel mehr Zwischenschritte erfordern.  |
|
|
|
Wieso soll a) gleichbedeutend mit sein? Ich bin da ganz bei KL700. Und auch vereinfacht sich rasch zu . |
1588707
1588681