离散数学的形式化推理

. R → ¬Q, R ∨ S, S → ¬Q, P → Q ⇒ ¬p，求具体过程。感觉有点地方怪怪的，但是说不出来，求指点