V-Einführung im Antezedenz

(V Ant)

\begin{alignat}{1} K & \cup\{ P \} & R \\ K & \cup\{ Q \} & R \\ \hline K & \cup\{ P \vee Q \} \>\> & R \end{alignat}