Teil 5

Beispiel 5:
Frage: Ist die folgende Satzmenge wahrheitsf. konsistent
Testmenge:
{¬(N ↔ O), O ↔ P, ¬N}
1. ¬(N ↔ O) V EdT
2. O ↔ P V EdT
3. ¬N EdT
4. N ¬N 1 ¬↔D
5. ¬O O 1 ¬↔D
X
6. O ¬O 2 ↔D
7. P ¬P 2 ↔D
X
Hier ist die Reihenfolge der Dekomposition bedeutsam. Wenn die Dekomposition des Satzes
in Zeile 2 zuerst vorgenommen worden wäre, dann würden zwei Zweige entstehen, von denen
keiner sogleich schließen würde.
Fragment: N: f, O: w, P: w.
Resümee: Die Menge ist wahrheitsf. konsistent.
17