\(\begin{aligned} & & & \neg(\neg A\implies A)\\ \text{Definition "}\implies\text{"} & & \equiv\, & \neg(\neg\neg A\vee A)\\ \text{Involution} & & \equiv\, & \neg(A\vee A)\\ \text{Komplementärgesetz} & & \equiv\, & \neg A\\ \\ & & & \neg(\neg A\wedge\neg C)\\ \text{De Morgan} & & \equiv\, & \neg\neg A\vee\neg\neg C\\ \text{Involution} & & \equiv\: & A\vee C\\ \\ & & & \neg(C\vee\neg A)\\ \text{De Morgan} & & \equiv\, & \neg C\wedge\neg\neg A\\ \text{Involution} & & \equiv\, & \neg C\wedge A\end{aligned}\)
Die Klammern in \((\neg A\wedge C)\) können weggelassen werden.
