Previous
Ms-154,9v[1]
Next
(∃2x) φx ∙ (∃2x) ψx ∙ Ind. .⊃.
.⊃. (∃4x) φx ⌵ ψx