Introduction to Logic

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

Show Instructions
Fitch
Goal  Incomplete