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




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



     φxε1


     φxε5