Given the premises (p ⇒ q) and (r ⇒ s), use Propositional Resolution to prove the conclusion (p ∨ r ⇒ q ∨ s).

Proof takes 8 steps including the premises and the goal.

2 answers

p=>q
dsafsadfsadf