Teil 5

Beispiel 4:
Frage: Ist die folgende Satzmenge wahrheitsf. konsistent
Testmenge:
{G → H, H → G, ¬G}
Dekompositionsreihenfolge 1:
1. G → H V EdT
2. H → G V EdT
3. ¬G
4. ¬G H 1 →D
5. ¬H G ¬H G 2 →D
X X X
Fragment: G: f, H: f.
Resümee: Die Testmenge ist wahrheitsf. konsistent.
Dekompositionsreihenfolge 2:
1. G → H V EdT
2. H → G V EdT
3. ¬G
4. ¬H G 2 →D
X
5. ¬G H 1 →D
X
Dieses Tableau ist nicht so komplex wie dasjenige, das aus Dekompositionsreihenfolge 1
resultiert (es hat drei, nicht vier Zweige). Das legt das folgende Strategem nahe.
Strategem 2 (Tableau):
Sätzen, deren Dekomposition im Schließen eines oder mehrerer Zweige resultiert, ist bei der
Dekomposition der Vorzug zu geben.
16