7.4

[3M@2mv]

Sodala:
Bin mir aber nicht ganz sicher, ob das Tableau genau so ausschauen soll , bin zwischen zwei Varianten geblieben :verycool: sonst ist es richtig glaube ich

[Bianconeri]

Du hast schon bei der Zerlegung von (2) einen Fehler gemacht. Das gehört in 2 Äste geteilt. Außerdem kannst du (3) nicht gleichzeitig mit (2) zerlegen. Vorher mal (2) zerlegen und dann darunter in jedem Ast (3).

[Lucky_Braindead]

Also ich habs jetzt auch durchgemacht und bei mir kommen sowohl in A B als auch C Widersprüche raus.

[3M@2mv]

wie gesagt war ich beim Tableau eh net sicher, werd sobald ich Zeit habe das nochmal anschauen, danke für die Rückmeldungen.

[tweety_7]

Hilfe: http://stud4.tuwien.ac.at/~e0225493/TabVis/

[bsoykal]

Hier ist meine Loesung

muss richtig sein :shinner:

[mindhunter]

wieso nehmt ihr bei der zerlegung von (2) immer an dass beide formeln t sein müssen... eig reichts ja wenn eine der beiden t is (is ja oder verknüpft)

[david.mihola]

wieso nehmt ihr bei der zerlegung von (2) immer an dass beide formeln t sein müssen... eig reichts ja wenn eine der beiden t is (is ja oder verknüpft)

Vielleicht hab ich da was falsch verstanden, aber gerade deshalb sind's ja zwei parallele Äste, weil eben das eine ODER das andere reicht. Die beiden Äste verstehe ich als Fallunterscheidung: Entweder (¬A) ist ist w, dann gehe nach links; oder (B ∧ C) ist w, dann gehe nach rechts (deshalb kommt ja nachher in beiden Ästen nocheinmal die selbe Zerlegung von (2)).

LG, David

[Fresh Prince]

hier meine Lösung:
13606

[bsoykal]

@Fresh Prince

Es ist erlaubt nicht zB 6 und 13 zu vergleichen. Ich weiss dass es einbischen screiberei ist, aber du sollst die zwei mal schreiben.

[rgta]

@Fresh Prince

Es ist erlaubt nicht zB 6 und 13 zu vergleichen. Ich weiss dass es einbischen screiberei ist, aber du sollst die zwei mal schreiben.

habs genauso gemacht wie fresh prince. nehm mal an, du meinst die (9) und (10) zerlegung, dass man die auf beiden seiten machen soll? falls ja, wieso muss man das machen?

[bsoykal]

9. und 10. Zeilen sollen unter beiden Aesten geschrieben werden.

(also einmal unter 6 und einmal unter 8 )

[3M@2mv]

Meine derzeitige Lösung schaut so aus
Alle Äste geschlossen, Formel gültig. Bitte um Rückmeldung :devil:

[Fresh Prince]

@Fresh Prince

Es ist erlaubt nicht zB 6 und 13 zu vergleichen. Ich weiss dass es einbischen screiberei ist, aber du sollst die zwei mal schreiben.

Ja passt ich weiß schon was du meinst jetzt habe ich es genauso wie du.

lg

[3M@2mv]

mMn muss es nicht so kompliziert sein wie ihr da habt, ich habe auch im Skriptum nochmal nachgeschaut.
Meine Lösung ist bissi kürzer aber müsste stimmen.

[Fresh Prince]

Meine derzeitige Lösung schaut so aus
Alle Äste geschlossen, Formel gültig. Bitte um Rückmeldung :devil:
Dein Widerspruch {11,6} ist ja genauso ein Fall, wie ich es oben habe {6,13}. Anscheinend ist es nicht ganz korrekt wenn man widersprüche nimmt die nicht im selben Ast vorkommen!!

[3M@2mv]

ich habe die Lösungen vom letzten Jahr die im Internet waren (vom Institutshomepage) angeschaut, dort wurde einen Ast genau so abgeschlossen wie meinen.
Kannst mir bitte sagen wo diesen Ansatz im Skriptum zu finden ist?

[Fresh Prince]

Ja also ich habe es auch nicht im Skriptum gefunden, aber nach dem alle es so behaupten kann es wirklich so sein. Paar alte Angaben habe ich auch angeschaut, da sind die Widersprüche auch alle im selben Ast.....

[rgta]

wird wohl nicht so tragisch sein, wenn mans bei der übung so hat.
vielleicht kann ja wer nen tutor fragen, ob das wirklich so gemacht werden muss.

[deathhero]

laut tutor:

...muss natürlich in beiden ästen geschrieben werden.

und man darf einen widerspruch auch nur immer in einem ast suchen/finden!