Teil 5

Dekomposition einer negierten Negation (¬¬D): TABLEAUREGELN
(AUSSAGENLOGIK)
A
¬¬A
Dekomposition einer Konjunktion (∧D):
A ∧ B
A
B
Dekomposition einer negierten Konjunktion (¬∧D):
¬(A ∧ B)
¬A ¬B
Dekomposition einer Disjunktion (∨D):
A ∨ B
A
B
Dekomposition einer negierten Disjunktion (¬∨D):
¬(A ∨ B)
¬A
¬B
Dekomposition eines materialen Konditionals (→D):
A → B
¬A B
Dekomposition eines negierten materialen Konditionals (¬→D):
¬(A → B)
A
¬B
Dekomposition eines materialen Bikonditionals (↔D):
A ↔ B
A ¬A
B ¬B
Dekomposition der Negation eines materialen Bikonditionals (¬↔D):
¬(A ↔ B)
A ¬A
¬B B
19