~(∃φ):(Еx) φx


~
(∃


(∃x) φx ∙ ~ (∃xy) φx ∙ φy



    φxε1


    φxε5