Back to Proofs: derived rules
Exercise 10 of 10
ProofDifficulty: StandardNot started
Task
(P → Q) ∧ (R → S), P ∨ R ∴ Q ∨ S
Prove the conclusion from the premises. The derived rules may be cited too.
Work on it in the tool, then come back here and check your answer.