Antezedenregel

(Ant)

$$\begin{array}{ll}K& P\\ K\cup \{Q\}& P\end{array}$$