Prove P ∨ Q, Q ∨ R, P → ¬R |- Q with natural deduction.
- P ∨ Q, premiss
- Q ∨ R, premiss
- P → ¬R, premiss ... ... Conclusion, Q
I dont know how to properly solve this question?
I know somewhat how to solve similar questions like below, but on this specific question above I dont know where to start.
