Problem mit logischen Aussageverknüpfungen
 

Hi Community :D

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:

[quote]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.[/quote]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

AW: Problem mit logischen Aussageverknüpfungen
 

"Saufst sterbst. Saufst net, sterbst a. Also saufst."

=

"Säufst du, stirbst du. Säufst du nicht, stirbst du auch."

??

Für a=saufen und b=sterben.

Dann ist die Aussage komisch, weil das impliziert, dass b [I]immer[/I] wahr ist (man stirbt auf jeden Fall). Das würde bedeuten, dass die Tabelle nur zwei Zeilen mit Werten hätte, und mehrere Wiedersprüche hätte.

Als Verknüpfung ausgedrückt wäre dass dann sowas wie

a -> b

Aus a folgt b. Wenn du säufst, stirbst du. Wenn du nicht säufst, kannst du aber trotzdem sterben. Wenn du stirbst, muss das nicht unbedingt daran liegen, dass du gesoffen hast.

AW: Problem mit logischen Aussageverknüpfungen
 

Wirklich so einfach? :D
Hm, irgendwie hat jeder dazu ne andre Meinung... :inflames:
Habt ihr noch andere Vorschläge oder könnt eine der 3 Varianten bestätigen?

Big thx ;)

AW: Problem mit logischen Aussageverknüpfungen
 

€: Wenn ich einfach a->b mache, dann bekomm ich aber für den Fall, dass a=0 und b=0 (ich sauf nicht, und sterb aber auch nicht), ne wahre Aussage bekomme (0->0=1), was aber der Text an sich doch schon ausschließt. Denn wie redfalcon bereits sagte, sterb ich ja so oder so, tu ich in dem Fall aber nicht... :inflames: ?!

.
.
.

AW: Problem mit logischen Aussageverknüpfungen
 

Ich würd da einfach sagen:

Sterben = Saufen oder nicht Saufen

also so

p = Saufen
q = Sterben

q = p v /p (mit v = oder)
q = p + /p (mit + = oder)
Jenachdem welche Schreibweise du bevorzugst ;)

AW: Problem mit logischen Aussageverknüpfungen
 

der ausdruck von redfalcon beinhaltet nicht den Fall "net saufen, a verrecke"

also

wenn saufen dann sterben
wenn nicht saufen dann sterben

a -> b || !a -> b

Da die Wenn-dann beziehung nicht bidirektional ist, kann man die aussage auch nicht umdrehen in: wenn du stirbst, dann lag das am saufen

im übrigen ist die 2. Wertetabelle richtig, wobei saufen & nicht saufen eigentlich sich ausschließende Fälle sind.

AW: Problem mit logischen Aussageverknüpfungen
 

[quote=tele;597862]der ausdruck von redfalcon beinhaltet nicht den Fall \"net saufen, a verrecke\"
[/quote]

Naja, doch oder? Wenn a falsch ist kann b ja trotzdem wahr sein.

AW: Problem mit logischen Aussageverknüpfungen
 

ich meine, es steht bei dir explizit nicht drin, wobei es explizit gefordert ist auszudrücken, allerdings:

1. kann es sein dass ich deine Aussage falsch verstanden habe, wobei ich das nach dern wörtlichen ausführung nicht unbedingt glaube

2. ich selbst nen denkfehler was die implizite aussage angeht, da meine Logikvorlesungen so 2003-2004 stattfanden finde ich das allerdings vertretbar :D

Gruß

tele

AW: Problem mit logischen Aussageverknüpfungen
 

Erst nochmal danke an alle :D

[quote=tele;597862]
im übrigen ist die 2. Wertetabelle richtig, wobei saufen & nicht saufen eigentlich sich ausschließende Fälle sind.[/quote]

Meinst du diese:

[quote]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[/quote]?

mfg

AW: Problem mit logischen Aussageverknüpfungen
 

[quote=tele;597898]ich meine, es steht bei dir explizit nicht drin, wobei es explizit gefordert ist auszudrücken, allerdings:
[/quote]

Das Problem ist eben, dass b eigentlich immer wahr sein müsste (man stirbt so oder so). Aber wie drückt man das aus? Denn auch bei deinem Vorschlag, kann b ja falsch werden.
Dann müsste man das irgendwie so aussehen:

Für b=wahr:
a -> b

für b=falsch:
nicht definiert

AW: Problem mit logischen Aussageverknüpfungen
 

Wo genau ist eigentlich bei meinem Vorschlag das Problem? ;)

Eigentlich ist das Ergebnis (Sterben oder nicht) sowieso unabhängig von der betrachteten Variable (Saufen) also ist das Ergebniss immer wahr.

AW: Problem mit logischen Aussageverknüpfungen
 

@Benni joa, eigentlich auch kein Problem. deine beziehung ist bidirektional, kann es aber sein, da wenn du stirbst das halt durch saufen oder net suafen passiert ist - und das stimmt.

@redfalcon: ich meine, es muss nicht definiert werden, wodurchj man generell sterben kann, sondern nur, was passeirt wenn man:
a) säuft
b) nicht säuft


Was hat überhaupt das:

[quote=kanonenfutter]
€:
[/quote]

für eine Bedeutung? Ich glaube das jetzt öfters gesehen zu haben. Sowas wie "and den TE"?

AW: Problem mit logischen Aussageverknüpfungen
 

[quote=tele;597941]Was hat überhaupt das:
[quote][I]€:[/I] [/quote]für eine Bedeutung? Ich glaube das jetzt öfters gesehen zu haben. Sowas wie \"and den TE\"?[/quote]

€ = Edit :nerd: ;)

@tele: Welche zweite tabelle meintest du? In meinem ersten post der zweite vorschlag? :confused:

mfg

AW: Problem mit logischen Aussageverknüpfungen
 

Schön' Abend zusammen :D

Sitz hier vor einer weiteren Aufgabe, bei der ich euch nochmal um Mithilfe bitten möchte ;) Und zwar soll mittels Schaltlogik eine Schaltung für die Subtraktion zweier Zahlen entworfen werden. Hab mir dazu auch schon was im Netz angeschaut, hab aber noch nicht alles so richtig verstanden. Ich soll das Ganze einmal mittels Schaltern (Schaltkreis), dann mit Und/Oder/nicht Verknüpfungen, dann mit NAND und später mit NOR realisieren. An sich kein Problem, aber ich hab da noch ein paar grundlegende Fragen:

Um eine Subtraktion ausführen zu können, nehme ich ja die Zahlen a und b, negiere b und addiere mit a. Dann habe ich also a+(-b). So kann ich zwar wunderbar die Differenz zweier Zahlen berechnen, habe nun aber ein Problem mit dem Vorzeichen.
Wie zur Hölle funzt das, das ich eine Zahl als neg. oder pos. Ergebnis darstellen kann?

Dankööö schonmal ;)

mfg