~(∃ϕ):(Ex)ϕx

~
(∃

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


    ϕxε1

    ϕxε5