Jede betrachtete Größe steige oder sinke.
Dann bedeute
\(\alpha:\) Investitionen steigen,
\(\beta:\) Inflation sinkt,
\(\gamma:\) Arbeitslosigkeit sinkt,
\(\delta:\) Steuern steigen.
Wir sollen folgenden Schluss überprüfen:
\((1)\; \alpha\rightarrow (\beta\wedge \gamma)\)
\((2)\; \lnot \beta\rightarrow \delta\)
\((3)\; \lnot \delta\rightarrow \alpha\)
\((5)\; \lnot \gamma\)
-----------------
\(\delta\)
\((6)\; \lnot \gamma \vee \lnot \beta\quad\) [ (5) Oder-Erweiterung ]
\((7)\; \lnot(\beta\wedge \gamma)\quad\) [ (6) DeMorgan ]
\((8)\; \lnot \alpha \quad\) [ (1) und (7) Modus tollens ]
----------------------------
\((9)\; \delta \quad\) [ (3) und (8) Modus tollens ]
Die Widerspruchsfreiheit der Prämissenmenge habe ich nicht überprüft.