Voraussetzungsregel

(Vor)

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