Introduction to Logic
Tools
for
Thought
 

Exercise 14.6 - Resolution

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

Show Instructions
Resolution
Goal  Incomplete