Hallo,

ich habe etwas Verständnisschwierigkeiten mit dem Markierungsalgorithmus. Kann mir jemand erklären, warum auf Folie 7[img]http://www.fb18.de/gfx/15.gif[/img] in der "Markierung 1. Runde" B nicht markiert wird? (C=>B).

Der Teil des Algorithmus dazu lautet: "Versehe jedes Vorkommen eine Aussagensymbols Ai in F mit einer Markierung,falls es in F eine Teilformel der Form (T => Ai) gibt."

http://www.informatik.uni-hamburg.de/WSV/teaching/FGI1/universitaet/
FGI1_07_logik.pdf

Danke!

Folie 7-15

URL: http://www.informatik.uni-hamburg.de/WSV/teaching/FGI1/universitaet/FGI1_07_logik.pdf

Da hat jemand das "Existiert eine Teilformel G der Form…" aus dem Algorithmus genau genommen. Wenn mehrere solche Teilformeln existieren kann man das natuerlich zusammenfassen - nur isses dann strenggenommen nicht mehr der gleiche Algorithmus.