A continuación, el conectivo\vee en el término izquierdo se cambia a\& (y\neg se aplica a los subtérminos), y la regla para negar\Rightarrow se implica al término correcto: \[\exists s...A continuación, el conectivo\vee en el término izquierdo se cambia a\& (y\neg se aplica a los subtérminos), y la regla para negar\Rightarrow se implica al término correcto: \exists s \in S,((\neg(s \in A) \& \neg(s \in B)) \vee((s \in C) \& \neg(s \notin D))) .
