PDA

View Full Version : [Frage] 7.2

freaky
08-05-2004, 13:05
Hallo, hier eine Lösungsvariante für Bsp. 7.3!

Ich habe mal versucht das Beispiel zu lösen, sollte an und für sich richtig sein.
oopster
08-05-2004, 13:12
Hallo!

Ich habe mal versucht das Beispiel zu lösen, sollte an und für sich richtig sein.
7.2 gib'ts schon unter

http://hades.gothic.at/iforum/showthread.php?t=18671
freaky
08-05-2004, 13:14
Wollte 7.3 posten, weiß aber nicht wie ich den Thread-Namen ändern kann.
;)
Murmel
08-05-2004, 13:35
habs auch so

lG,
Murmel
docsoft
09-05-2004, 02:33
Hallo, hier eine Lösungsvariante für Bsp. 7.3!

Ich habe mal versucht das Beispiel zu lösen, sollte an und für sich richtig sein.
hi,
ich bekomme leider andere Ergebnisse! :confused:
falsch oder richtig?

http://hades.gothic.at/iforum/attachment.php?attachmentid=2897&stc=1

ciao
doc
ein_stein2000
09-05-2004, 13:27
also i bekomme auch was anderes! ... i hab das so gelöst:

i hab mir die drei formeln hergenommen .. und man braucht jo nur zwei ersetzungen: ein A und ein B ... damit kann man ja alles ersetzen
H1: nonA impliziert B
H2: B v A
H3: B c nonA

jo und dann die folgende tabelle:

A | B | nonA | H1 | H2 | H3
t | t | ..f. | t | t | t
t | f | ..f. | t | t | t
f | t | ..t. | t | t | t
f | f | ..t. | f | f | f


so und jetzt haben wir folgende Möglichkeiten:
H1 = H2: JA
H1 = H3: JA
H2 = H3: JA

stimmt hier was nicht?
Veronika
09-05-2004, 13:56
also i bekomme auch was anderes! ... i hab das so gelöst:

i hab mir die drei formeln hergenommen .. und man braucht jo nur zwei ersetzungen: ein A und ein B ... damit kann man ja alles ersetzen
H1: nonA impliziert B
H2: B v A
H3: B c nonA

jo und dann die folgende tabelle:

A | B | nonA | H1 | H2 | H3
t | t | ..f. | t | t | t
t | f | ..f. | t | t | t
f | t | ..t. | t | t | t
f | f | ..t. | t | f | f



so und jetzt haben wir folgende Möglichkeiten:
H1 = H2: NEIN
H1 = H3: NEIN
H2 = H3: JA

stimmt hier was nicht?
In der letzten Zeile von H1 gehört meiner Meinung nach f!
docsoft
09-05-2004, 14:07
jo und dann die folgende tabelle:

A | B | nonA | H1 | H2 | H3
t | t | ..f. | t | t | t
t | f | ..f. | t | t | t
f | t | ..t. | t | t | t
f | f | ..t. | t | f | f


so und jetzt haben wir folgende Möglichkeiten:
H1 = H2: NEIN
H1 = H3: NEIN
H2 = H3: JA

stimmt hier was nicht?
Ja! Und zwar H1

Meiner Meinung nach sollte die Tabelle so aussehen:

A | B | nonA | H1 | H2 | H3
t | t | ..f. | t | t | t
t | f | ..f. | t | t | t
f | t | ..t. | t | t | t
f | f | ..t. | f | f | f


Weil:
nonA(t) impl. B(f) ergibt f
Oder?
Und dann:
H1 = H2 = H3
???
ein_stein2000
09-05-2004, 14:35
stimmt, ihr habt recht .. habs ausgebessert ...

also dann wäre das endergebnis, dass alle 3 zueinander äquivalent sind?

also:
H1 = H2: JA
H1 = H3: JA
H2 = H3: JA
clemensp
09-05-2004, 19:37
habs auch so :)
seg2
09-05-2004, 19:39
i hab mir die drei formeln hergenommen .. und man braucht jo nur zwei ersetzungen: ein A und ein B ... damit kann man ja alles ersetzen

Hi

Wie meinst du das mit ERSETZEN?
Kann man da etwa was vereinfachen???? - Denn ich hab wirklich keine Lust z.B. beim H1 2^5 Zeilen für 5 Variablen durchzurechnen... :ahhh:
Murmel
09-05-2004, 19:48
Da in H1 bis H3 immer dieselbe 3 Riesenterme vorkommen kann man sie einfach durch neue Variablen ersetzen, ja. Ist im Attachment des allerersten Postings hier recht schön aufgezeichnet.

edit: bei genauerem Hinsehen vielleicht doch nicht optimal, A und C sind wie B und D dieselben Terme, wodurch eine Tabelle mit 2 Variablen reicht.

lG,
Murmel
ein_stein2000
09-05-2004, 20:20
Da in H1 bis H3 immer dieselbe 3 Riesenterme vorkommen kann man sie einfach durch neue Variablen ersetzen, ja. Ist im Attachment des allerersten Postings hier recht schön aufgezeichnet.

edit: bei genauerem Hinsehen vielleicht doch nicht optimal, A und C sind wie B und D dieselben Terme, wodurch eine Tabelle mit 2 Variablen reicht.

lG,
Murmel
und genau so habe ichs gemacht, siehe mein post#6 (http://hades.gothic.at/iforum/showpost.php?p=128752&postcount=6)
Merlin
09-05-2004, 21:08
Könnte jemand so nett sein und mir sagen, was damit gemeint ist:


Verwenden Sie dazu Satz 3.20 und Folgerung 3.22 aus dem Vorlesungsskriptum.
Ich habe leider das altes Skriptum, und da gibt es eine andere Nummerierung anscheinend...
]SJfiuE[
09-05-2004, 21:26
Ich habe leider das altes Skriptum, und da gibt es eine andere Nummerierung anscheinend...

lieber merlin,
im skriptum vom märz 2003 sind es 4.20 und 4.22 statt 3.20 und 3.22

ich hoffe, das hilft,
jana
Merlin
09-05-2004, 22:28
danke schön http://hades.gothic.at/iforum/images/smilies/wink.gif