Einzelnen Beitrag anzeigen
Alt 06.01.2009, 15:57   #1 (permalink)
kanonenfutter
Extrem Tweaker
 
Benutzerbild von kanonenfutter
 

Registriert seit: 10.07.2006
Beiträge: 2.290

kanonenfutter ist ein Lichtblickkanonenfutter ist ein Lichtblickkanonenfutter ist ein Lichtblickkanonenfutter ist ein Lichtblickkanonenfutter ist ein Lichtblick

Frage Problem mit logischen Aussageverknüpfungen

Hi Community

Ich sitz hier vor einer Aufgabe, bei der mir absolut keine einleuchtende Lösung einfallen will. Ich frag daher mal in die Runde, ob jmd. ne Idee hat:

Zitat:
Formulieren Sie den folgenden Text mit Hilfe von Aussagevariablen und logischen Verknüpfungen, und überprüfen Sie seinen Wahrheitsgehalt mit Hilfe einer Wahrheitswertetabelle:

"Saufst sterbst. Saufst net, sterbst a. Also saufst.
Meine Überlegung war bisher so etwas in die Richtung:

p = saufen
/p = nicht saufen
q = sterben

([p >--< /p] --> q) --> p

Nur damit komm ich auf Wahrheitswerte, die imho vom rein menschlichen Verständnis dem Satz oben nicht entsprechen:

p 0 0 1 1
q 0 1 0 1
E 1 0 1 1 (E=Endergebnis)


Andrer Lösungsansatz:

(q und [{p --> q} >--< {/p --> q}]) --> p

p 0 0 1 1
q 0 1 0 1
E 1 1 1 1

Tjaaa...

Und nun hab ich keine Ahnung ob und welcher der beiden genannten Ansätze korrekt ist ^^
Wäre echt nett wenn sich da mal jmd. durchkämpfen könnte

mfg
kanonenfutter
kanonenfutter ist offline   Mit Zitat antworten