Introduction to Logic
Tools
for
Thought
 

Exercise 14.7 - Resolution

Use Resolution to prove ∀x.(((p(x) ⇒ q(x)) ⇒ p(x)) ⇒ p(x)).

Show Instructions
Resolution
Goal  Incomplete