I am working on assignment for school where the task asks to give a deductive proof. However, I have never used this technique (nor that I am very good in proofs in general) thus it is quite complicated. Can anyone here give me a short "guide" on how to proof by deduction? (Couldn't find any good guide online). It would be really useful to see how to generate this kind of proofs if anyone could show how to solve this proof:
If $\forall x. (P(x) \to (Q(x) \wedge S(x)))$ and $\forall x. (P(x) \wedge R(x))$, then $\forall x. (R(x) \wedge S(x))$.
Thanks in advance!