Tableau-Kalkül

[spinxy]

hallo

also ich wollt grad nochmal die übungsbsp. durchgehen zum tableau-kalkül und da ist mir aufgefallen dass die das immer durcheinander auflösen. ich würd nämlich immer zerst 1, dann 2, dann 3 usw. zerlegen...auf den lösungen wird aber zuerst 1, dann 3 oder so zerlegt...ist die reihenfolge egal oder hat das ganze einen grund warum das so gemacht wird???

lg

[maitscha]

Ich denke die Reihenfolge ist egal, ich zerlege es normalerweise auch immer der Nummerierung nach. Wesentlich ist nur, dass sich am Ende jedes Zweiges ein Widerspruch ergeben muss.

[Morticia]

Es ist egal in welcher Reihenfolge du zerlegst.
Der Grund, warum das so durcheinander gemacht ist, ist der, dass du zuerst immer schaust was du zerlegen kannst ohne den "Baum aufzuspalten". Dadurch ersparst du dir eine Menge arbeit.

[spinxy]

gut...dann hab ichs eh richtig gemacht :) ...danke ihr habt mir sehr geholfen...

lg