Introduction to Logic

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

Show Instructions
Fitch
Goal  Incomplete