Teil 5

Dekomposition eines materialen Bikonditionals (↔D):
A ↔ B V
A ¬A
B ¬B
Diese Regel ergibt sich aus Wahrheitsbedingung 5:
I(A ↔ B) = w gdw I(A) = w und I(B) = w
oder
I(A) = f und I(B) = f;
sowie aus Wahrheitsbedingung 1.
(Beobachtung: wahrheitsf. Äquivalenz von A ↔ B mit (A ∧ B) ∨ (¬A ∧ ¬B).)
Dekomposition der Negation eines materialen Bikonditionals (¬↔D):
¬(A ↔ B)
A ¬A
¬B B
Diese Regel ergibt sich aus Wahrheitsbedingung 10:
I(¬(A ↔ B)) = w gdw I(A) = w und I(B) = f
oder
I(A) = f und I(B) = w;
sowie aus Wahrheitsbedingung 1.
(Beobachtung: wahrheitsf. Äquivalenz von ¬(A ↔ B) mit (A ∧ ¬B) ∨ (¬A ∧ B).)
Verzweigende und nicht-verzweigende Regeln:
Die vorgestellten Tableauregeln lassen sich in verzweigende und in nicht-verzweigende
Regeln einteilen. Nicht-verzweigende Regeln sind:
(¬¬D)
(∧D)
(¬∨D)
(¬→D)
Die Dekompositionsprodukte, die sich aus der Anwendung dieser Regeln ergeben, werden in
zwei Zeilen untereinander geschrieben, da beide wahr sein müssen, wenn der dekomponierte
Satz wahr werden soll.
5