Previous Ms-154,19v[1] Next

     
~(∃ϕ):(Ex)ϕx

~
(∃

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


    ϕxε1

    ϕxε5