Die Regeln führen nicht zu einer Lösung
(x) fx ≠ φx     ~(∃x) fx = φx
Die Regeln führen zu einer verbotenen Gleichg.
Die Regeln führen zu einer Lösung
~(x) fx ≠ φx     (∃x) fx = φx
Die Regeln verbieten die Gleichg. nicht.