Previous Ms-154,9v[1] Next

     
(∃2x) φx ∙ (∃2x) ψx ∙ Ind. .⊃.
      .⊃. (∃4x) φx ⌵ ψx