Introduction to Logic

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

Show Instructions
Fitch
Goal  Incomplete