Kettenschlussregel

(KS)

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