Fallunterscheidung

Sei \(P \Rightarrow Q\) und wir wissen \(P \Leftrightarrow P_1 \lor P_2 \lor P_3 \lor ... \lor P_n\) Es reicht dann zu zeigen:

\begin{align*} P_1 \Rightarrow Q \\ P_2 \Rightarrow Q \\ \vdots \\ P_n \Rightarrow Q \end{align*}