Introduction to Logic

Given ∀x.(p(x) ⇒ q(x)), use Resolution to prove ∀x.p(x) ⇒ ∀x.q(x).

Show Instructions
Resolution
Goal  Incomplete