Sequentialkalkül

[Homer]

gibt es einen trick, einen leitfaden, oder sonst was, wie man ein sequent am schnellsten zu einem anti-axiom bringt??
oder anders gefragt: welche operatoren sollte man eher früher/später auflösen??

bei mir entscheidet sich alles erst beim letzten zweig, nachdem ich den ganzen rest schon durchhabe :mad:

danke schon mal

[Plantschkuh!]

Das Problem ist (für die klassische Aussagenlogik) NP-vollständig, also wirst du im Allgemeinen einen exponentiellen Aufwand reinstecken müssen. Oft ist es so, daß man nichtverzweigende Regeln bevorzugen sollte, um nicht die selbe Arbeit in zwei Ableitungszweigen machen zu müssen. Andererseits kann es auch nützlich sein, lieber den Baum aufzuspalten als eine Teilformel, die mehrmals vorkommt, zu zerbrechen.

[Homer]

genau vor dieser entscheidung (ob ich nun verzweigen soll oder nicht) stehe ich immer wieder... aber anscheinend gibt es dazu eh keine allgemein gültige regel...
naja, dann hoff ich, dass ich beim prüfungs-bsp glück habe.....

[Chiquadelli]

wird wohl nicht so schwer sein.. man muss sich ja eh meistens nur von außen nach innen bemühen ;)

aber um deine frage zu beantworten: regeln kenne ich keine