Question

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.

Answer 1

p=>q

Answer 2

dsafsadfsadf