Introduction to Logic

Given ∃y.∀x.p(x,y), use the Fitch system to prove ∀x.∃y.p(x,y).

Show Instructions
Fitch
Goal  Incomplete