Using rules of inference with quantified statements

Question

Use rules of inference to show that

(a) $ ∀x (R(x) → (S(x) ∨ Q(x))$

$∃x (¬S(x))$

---

$ ∃x (R(x) → Q(x) )$

I'm kinda lost at what to do... I can start but don't know what to do afterwards

1) $R(a) → (S(a) ∨ Q(a) ) $ Universal Inst.

Answer 1

Hint: Begin by using your second premise: $\exists x (\tilde{} S(x))$ to conclude $\tilde{} S(a)$. Next, assume $R(a)$. Now see what you can get!