0

Prove P ∨ Q, Q ∨ R, P → ¬R |- Q with natural deduction.

  1. P ∨ Q, premiss
  2. Q ∨ R, premiss
  3. 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.

phuck
  • 1
  • 1

0 Answers0