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
Proof takes 8 steps including the premises and the goal.
2 answers