Aussagenlogik/Aussage/Ableitungskette/Beispiel

Eine Ableitungskette für

$((p)\wedge (r))\rightarrow ((\neg (q))\vee (r))$

sieht folgendermaßen aus.

1. ${}p$ (Aussagenvariable),
2. ${}q$ (Aussagenvariable),
3. ${}r$ (Aussagenvariable),
4. ${}\neg (q)$ (Negation auf 2),
5. ${}(p)\wedge (r)$ (Konjunktion auf 1 und 3),
6. ${}(\neg (q))\vee (r)$ (Disjunktion auf 4 und 3),
7. ${}((p)\wedge (r))\rightarrow ((\neg (q))\vee (r))$ (Implikation auf 5 und 6).