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