indirekter Beweis

Seien \(P,Q\) Aussage und sei \(P \Rightarrow Q\) zu zeigen. Dann reicht es aus, folgendes zu zeigen:

\begin{align*} \lnot Q \Rightarrow \lnot P \end{align*}