TweakPC

Zurück   Computer Hardware Forum - TweakPC > Games und Software > Programmiersprachen
Registrieren Hilfe Community Downloads

Antwort
 
LinkBack Themen-Optionen Ansicht
Alt 06.01.2009, 14:57   #1 (permalink)
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
Alt 06.01.2009, 15:38   #2 (permalink)
Hardware Freak
 

Registriert seit: 28.03.2003
Beiträge: 8.252

redfalcon kann auf vieles stolz sein
redfalcon kann auf vieles stolz sein

Standard 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 immer 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.
redfalcon ist offline   Mit Zitat antworten
Für diesen Beitrag bedankt sich:
kanonenfutter (06.01.2009)
Alt 06.01.2009, 16:20   #3 (permalink)
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

Standard AW: Problem mit logischen Aussageverknüpfungen

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

Big thx
kanonenfutter ist offline   Mit Zitat antworten
Alt 06.01.2009, 16:25   #4 (permalink)
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

Standard 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... ?!

.
.
.
kanonenfutter ist offline   Mit Zitat antworten
Alt 07.01.2009, 08:56   #5 (permalink)
Overclocker
 

Registriert seit: 24.05.2002
Beiträge: 200

BenniG. wird schon bald berühmt werdenBenniG. wird schon bald berühmt werden

Standard 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
BenniG. ist offline   Mit Zitat antworten
Für diesen Beitrag bedankt sich:
kanonenfutter (07.01.2009)
Alt 07.01.2009, 09:42   #6 (permalink)
Polsterwaffenkampfsportle r
 
Benutzerbild von tele
 

Registriert seit: 29.10.2003
Beiträge: 14.561

tele hat eine strahlende Zukunft
tele hat eine strahlende Zukunfttele hat eine strahlende Zukunfttele hat eine strahlende Zukunfttele hat eine strahlende Zukunfttele hat eine strahlende Zukunft

Standard 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.
tele ist offline   Mit Zitat antworten
Für diesen Beitrag bedankt sich:
kanonenfutter (07.01.2009)
Alt 07.01.2009, 11:13   #7 (permalink)
Hardware Freak
 

Registriert seit: 28.03.2003
Beiträge: 8.252

redfalcon kann auf vieles stolz sein
redfalcon kann auf vieles stolz sein

Standard AW: Problem mit logischen Aussageverknüpfungen

Zitat:
Zitat von tele Beitrag anzeigen
der ausdruck von redfalcon beinhaltet nicht den Fall \"net saufen, a verrecke\"
Naja, doch oder? Wenn a falsch ist kann b ja trotzdem wahr sein.
redfalcon ist offline   Mit Zitat antworten
Alt 07.01.2009, 12:17   #8 (permalink)
Polsterwaffenkampfsportle r
 
Benutzerbild von tele
 

Registriert seit: 29.10.2003
Beiträge: 14.561

tele hat eine strahlende Zukunft
tele hat eine strahlende Zukunfttele hat eine strahlende Zukunfttele hat eine strahlende Zukunfttele hat eine strahlende Zukunfttele hat eine strahlende Zukunft

Standard 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

Gruß

tele
tele ist offline   Mit Zitat antworten
Alt 07.01.2009, 12:52   #9 (permalink)
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

Standard AW: Problem mit logischen Aussageverknüpfungen

Erst nochmal danke an alle

Zitat:
Zitat von tele Beitrag anzeigen
im übrigen ist die 2. Wertetabelle richtig, wobei saufen & nicht saufen eigentlich sich ausschließende Fälle sind.
Meinst du diese:

Zitat:
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
?

mfg
kanonenfutter ist offline   Mit Zitat antworten
Alt 07.01.2009, 13:26   #10 (permalink)
Hardware Freak
 

Registriert seit: 28.03.2003
Beiträge: 8.252

redfalcon kann auf vieles stolz sein
redfalcon kann auf vieles stolz sein

Standard AW: Problem mit logischen Aussageverknüpfungen

Zitat:
Zitat von tele Beitrag anzeigen
ich meine, es steht bei dir explizit nicht drin, wobei es explizit gefordert ist auszudrücken, allerdings:
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
redfalcon ist offline   Mit Zitat antworten
Alt 07.01.2009, 13:33   #11 (permalink)
Overclocker
 

Registriert seit: 24.05.2002
Beiträge: 200

BenniG. wird schon bald berühmt werdenBenniG. wird schon bald berühmt werden

Standard 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.
BenniG. ist offline   Mit Zitat antworten
Alt 07.01.2009, 13:56   #12 (permalink)
Polsterwaffenkampfsportle r
 
Benutzerbild von tele
 

Registriert seit: 29.10.2003
Beiträge: 14.561

tele hat eine strahlende Zukunft
tele hat eine strahlende Zukunfttele hat eine strahlende Zukunfttele hat eine strahlende Zukunfttele hat eine strahlende Zukunfttele hat eine strahlende Zukunft

Standard 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:

Zitat:
Zitat von kanonenfutter
€:
für eine Bedeutung? Ich glaube das jetzt öfters gesehen zu haben. Sowas wie "and den TE"?
tele ist offline   Mit Zitat antworten
Alt 07.01.2009, 15:10   #13 (permalink)
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

Standard AW: Problem mit logischen Aussageverknüpfungen

Zitat:
Zitat von tele Beitrag anzeigen
Was hat überhaupt das:
Zitat:
€:
für eine Bedeutung? Ich glaube das jetzt öfters gesehen zu haben. Sowas wie \"and den TE\"?
€ = Edit

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

mfg
kanonenfutter ist offline   Mit Zitat antworten
Alt 10.01.2009, 16:37   #14 (permalink)
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

Standard AW: Problem mit logischen Aussageverknüpfungen

Schön' Abend zusammen

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
kanonenfutter ist offline   Mit Zitat antworten
Antwort

Stichworte
aussageverknüpfungen, logischen, problem


Aktive Benutzer in diesem Thema: 1 (Registrierte Benutzer: 0, Gäste: 1)
 

Forumregeln
Es ist dir nicht erlaubt, neue Themen zu verfassen.
Es ist dir nicht erlaubt, auf Beiträge zu antworten.
Es ist dir nicht erlaubt, Anhänge hochzuladen.
Es ist dir nicht erlaubt, deine Beiträge zu bearbeiten.

BB-Code ist an.
Smileys sind an.
[IMG] Code ist aus.
HTML-Code ist aus.
Trackbacks are an
Pingbacks are an
Refbacks are an


Ähnliche Themen
Thema Autor Forum Antworten Letzter Beitrag
[Problem] Ultra DMA 100 Problem ! Gordon Gekko RAM Arbeitsspeicher 1 08.12.2002 14:47
AMD Athlon xp Problem + G4600 VDT MSI Problem Gast AMD: CPUs und Mainboards 0 22.11.2002 13:25


Alle Zeitangaben in WEZ +1. Es ist jetzt 18:12 Uhr.






Powered by vBulletin® Version 3.8.10 (Deutsch)
Copyright ©2000 - 2024, vBulletin Solutions, Inc.
SEO by vBSEO 3.5.2 ©2010, Crawlability, Inc.
Impressum, Datenschutz Copyright © 1999-2015 TweakPC, Alle Rechte vorbehalten, all rights reserved