V-Einführung im Sukzedenz

(V Suk)

\begin{alignat}{1} K & \>\> & P \\ \hline K && P \land Q \end{alignat} \begin{alignat}{1} K & \>\> & P \\ \hline K && Q \land P \end{alignat}