Prädikate P: "ist Philosoph", V: "ist vernünftig",
Prämissen \(p_1,p_2,p_3\).
\(p_1: \; \forall x:\; P(x)\rightarrow V(x)\)
\(p_2: \; P(Kant)\)
------- Modus Ponens ----------
\( V(Kant)\)
\(p_3: \; \lnot V(Kant)\)
------------- \(\wedge\) -----------
\(V(Kant)\wedge \lnot V(Kant)\) --- Kontradikltion !
