(KP) \begin{alignat}{1} K & \cup \{ \neg Q \} \>\> & \neg P \\ \hline K & \cup \{ P \} & Q \end{alignat}