Previous Ms-154,9v[1] Next

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