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