S.O.S. Mathematics CyberBoard

1) (P ˅ Q) & (P ˅ R) : P ˅ (Q & R) [11]

2) R ˅ S, ¬ Q → ¬ R, S → Q : Q ˅ P [12]

3) P ˅ (P & Q) : P [5]

4) P ˅ P : P [3]

5) ¬ (P ˅ Q), R → P : ¬ R [7]


Hi guys, really struggling with a natural deduction assignment. Does anyone know how to provide complete proofs of natural deduction for these sequents? Would really appreciate any help. Ps. the (11) etc represents how many lines the answer should be. Thank you guys