When and how can I change the conclusion in rules of inference I have seen people changing the conclusion of the examples in the rules of inference. My question is when I'm able to do that? If I have to prove P and Q which one should I choose?
Examples 1:
premises { p → q, p ∨ q } conclusion/prove q ∨ r
But they are making it, just prove q but they add ¬r in the premises so we have
Final:
Premises { p → q, p ∨ q, ¬r } conslusion q
Example 2: 
Premises { p ∨ q, ¬q ∨ r, r → s} conclusion: ¬p → s
Final:
they change it to { p ∨ q, ¬q ∨ r, r → s, ¬p } conclusion s
Can I simplify this every time?

Both examples above are simple application of the Deduction Theorem : 

in order to prove $Γ ⊢ p → q$, prove $Γ,p ⊢ q$.

Also the first one is based on the DT, with the "trick" of using the Material Implication rule : 

$q∨r$ is equivalent to : $¬ r → q$.

Thus, the proof is :
1) $p → q, p ∨ q, ¬r \vdash q$ --- given
2) $p → q, p ∨ q \vdash ¬r \to q$ --- from 1) by DT

3) $p → q, p ∨ q \vdash r \lor q$ --- from 2) by Material Implication.

