Introduction to Logic
Tools
for
Thought
 

Exercise 6.4 - Resolution

Given the premises (pq) and (rs), use Propositional Resolution to prove the conclusion (prqs).

Show Instructions
Resolution
Goal  Incomplete