Aussagen Logik Tabelle

#5643599
Lesenswert?

Jemand tipps wie ich hierzu die Wahrheitstabelle aufstellen kann?



Ein Polizist notiert folgende Aussagen von einem Informanten aus der 
Untergrund- szene:
A1: Wenn Kippen-Ede dabei war, dann war auch Messer-Fritze dabei.
A2: Mindestens einer der Brüder, die Narben-Jonny und Hinke-Heini 
genannt werden, war mit von der Partie.
A3: Entweder haben Zappel-Jupp und Narben-Jonny das gemeinsam gedreht, 
oder keiner war dabei.
A4: Entweder Messer-Fritze oder Zappel-Jupp war dabei.
A5: WennHinke-Heinidabeiwar,dannwarenauchNarben-JonnyundKippen-Ede nicht 
untätig.
Helfen Sie dem Polizisten indem Sie den Täter benennen.
Hinweis: Verwenden Sie die folgenden Symbole: Kippen-Ede = k, 
Messer-Fritze = m, Narben-Jonny = n, Hinke-Heini = h, Zappel-Jupp = z. 
Ermitteln Sie die Wahrheitsta- belle für jede Aussage und daraus die 
boolesche Funktion. Die Gesamtaussage ergibt sich aus der logischen 
UND-Verknüpfung aller Teilaussagen. Leiten Sie aus dieser ab, wer der 
Täter ist bzw. wer die Täter sind.

Meine Ansätze sind im Anhang
Aussage 4 sieht so aus :

M Z A4

0 0 0

0 1 1

1 0 1
1 1 1

Wie sieht die tabelle bei Aussage 5 aus?

PASSEN die Tabellen soweit?
Angehängte Dateien:
Gast #5643624
Lesenswert?

Puuh, das ist jetzt aber wirklich schwierig. Ich glaube aber, dass 
Messer-Fritze UND Narben-Jonny auf jeden Fall immer mit dabei waren und 
somit auch automatisch die Täter sind!

Mir qualmt schon der Kopf, ich gehe mal eben kurz runter ans 
Advends-Kuchenbuffet und stärke mich erst einmal ein wenig. Bin gleich 
wieder da.   ;)
Moderator #5644638
Lesenswert?

Jan K. schrieb:
> haha sind die Tabellen soweit richtig von mir ?

Jan K. schrieb:
> :) Bitte um paar ernsthafte tipps?

Jan K. schrieb:
> Passt?

Jan K. schrieb:
> Sind die Tabellen nun richtig leute ?

Geduld, Geduld :)

A1: erst falsch, dann anders falsch
A2: richtig
A3: erst falsch, dann richtig
A4: falsch
A5: falsch

Nach wie vor gilt:

LostInMusic schrieb:
> Es mangelt Dir noch am Verständnis von "Wenn-dann"- und
> "Entweder-Oder"-Aussagen.

und deswegen:

Yalu X. schrieb:
> Such mal in einer Suchmaschine deiner Wahl nach
>
>   Logik wenn dann
>
> und
>
>   Logik entweder oder
>
> Da wird dir geholfen.
Moderator #5645802
Lesenswert?

A4 stimmt jetzt. War es denn wirklich so schwer, die Wahrheitstabelle
für Entweder-Oder aufzustellen?

Die von dir geposteten Wahrheitstabellen für A1 und A5 stellen jeweils
eine Und-Verknüpfung von 2 bzw. 3 Variablen dar. Sie wären richtig, wenn
die Aussagen etwa wie folgt lauten würden:

A1: Kippen-Ede und Messer-Fritze waren beide dabei.
A5: Hinke-Heini, Narben-Jonny und Kippen-Ede waren alle drei dabei.

Aber so lauten sie nicht, und eine Wenn-Dann-Verknüpfung ist keine
Und-Verknüpfung.

Wenn du das Problem nicht mit dem gesunden Menschenverstand erschlagen
kannst, rate ich dir zum dritten Mal, nach

  Logik wenn dann

zu googeln. Hier eine kleine Hilfe dafür:

  http://bfy.tw/LAtZ

Der erste Treffer führt dich auf die Wikipedia-Seite zum Thema
"Implikation"

  https://de.wikipedia.org/wiki/Implikation

Jetzt musst du nur noch etwas herunterscrollen, bis du auf eine
Wahrheitstabelle (die einzige auf dieser Seite) stößt. Falls sowohl dein
Scrollrad als auch deine Cursortasten kaputt sind, ist hier der direkte
Link zum entsprechenden Abschnitt auf der Seite:

  https://de.wikipedia.org/wiki/Implikation#Wahrheitsfunktionale_Implikation

Jetzt musst du nur noch die Variablen a und b durch die entsprechenden
Variablen bzw. Ausdrücke aus der Aufgabenstellung ersetzen.

Geh aber mal davon aus, dass die fünf Ganoven inzwischen längst über
alle Berge sind ;-)
Moderator #5645884
Lesenswert?

Jan K. schrieb:
> Nach der Tabelle wäre es so ?

Genau.

Jan K. schrieb:
> Aber so 100 Prozent verstehen tu ich es nicht ?

Die Aussage "Wenn k, dann m." enthält keine Einschränkungen für k, d.h.
k kann wahlweise die Werte 0 oder 1 annehmen.

Ist k=1, dann wird der Nebensatz "dann m" aktiv, d.h. es muss zwingend
m=1 sein, sonst ist die Aussage nicht erfüllt:

1
k m k→m 
2
———————
3
1 0  0
4
1 1  1
5
———————

Ist hingegen k=0, ist der Nebensatz "dann m" obsolet, d.h. m unterliegt
keinerlei Einschränkungen, womit die Aussage für beliebige m erfüllt
ist:

1
k m k→m 
2
———————
3
0 0  1
4
0 1  1
5
———————

Beides zusammen ergibt die gesuchte Wahrheitstabelle.

Den Operator → (Implikation, wenn-dann) kann man wie folgt mittels der
Operatoren ¬ (Negation, nicht) und ∨ (Disjunktion, oder) ausdrücken:

1
k → m ⇔ ¬k ∨ m
Moderator #5645959
Lesenswert?

Jan K. schrieb:
> A5 schaffe ich nicht .

Wo ist das Problem?

1
A5: Wenn Hinke-Heini, dann Narben-Jonny und Kippen-Ede.
2

3
A5:           h        →  (     n        ∧      k     )

Das musst du jetzt nur noch mit deinem bisher erlangten Wissen in eine
Wahrheitstabelle umsetzen.

> Aber wahrscheinlich werdet ihr die Lösung auch net posten :)

Dann wär's ja viel zu einfach für dich :)
#5646883
Lesenswert?

Hallo,

ich verzichte auf die Wahrheitstabelle und nutze gleich Aussagen.

A1: (aus k folgt m)
A2: (n oder h)
A3: ((z und n) oder ((nicht z) und (nicht n)))
A4: ((m und (nicht z)) oder ((nicht m) und z)
A5: (aus h folgt (n und k))

A2 legt eine Fallunterscheidung nahe:

Fall 1: n (das bedeutet n = 1)

Aus A3 und n folgt z
Aus A4 und z folgt (nicht m)
Aus A1 und (nicht m )folgt (nicht k)
Aus A5 und (nicht k) folgt (nicht h)

Also ist n z (nicht m) (nicht k) (nicht h) ein Lösung.

Fall 2: h

Aus A5 und h folgt n
Aus Fall 1 folgt (nicht h)) !!! Widerspruch !!!

Fall 2 gibt keine Lösung.

Unsere einzige Lösung ist also

n z (nicht m) (nicht k) (nicht h)

MfG
egonotto

Antwort schreiben

Bitte melde dich an, um einen Beitrag zu schreiben.

oder

Mit Google-Account einloggen

Die Registrierung ist kostenlos und dauert nur eine Minute.

Jetzt registrieren