Propositional Resolution Question

Question

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

Answer 1

(⇒) and (⇒) mean that the premises are {~p,q} and {-r,s}. For the conclusion (∨⇒∨), we should get its negated conclusions:

1. ~(p|r => q|s)
2. ~~(p|r)|~(q|s)
3. (p|r)|(~q & ~s)
4. {p,r}, {~q}, {~s}

Now we can use Propositional Resolution: enter image description here