1. The problem statement, all variables and given/known data Using the rules of inference, prove that if ∀x(P(x) ∨ Q(x)) and ∀x((￢P(x) ∧ Q(x)) → R(x)) are true, then ∀x(￢R(x) → P(x)) is true as well. 2. Relevant equations 3. The attempt at a solution The problem arises step 5. I feel this is correct but the instructor has stated that assuming in a proof: "you are not allowed to assume any more information that what is given. Otherwise, you are solving a different problem." I felt since my assumption is a bit like a scenario in a truth table that it was OK, because it does not contradict any of the premises. I have no idea how to approach this problem other than this.