Introduction to Logic

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