Introduction to Logic
Tools
for
Thought
 

Exercise 6.3 - Resolution

Use Propositional Resolution to show that the clauses {p, q}, {¬p, r}, {¬p, ¬r}, {p, ¬q} are not simultaneously satisfiable.

Show Instructions
Resolution
Goal  Incomplete