Given the premises: 1. P∨QP \lor QP∨Q, 2. P ⟹ RP \implies RP⟹R, 3. Q ⟹ SQ \implies SQ⟹S. What is a valid conclusion?
R∨SR \lor SR∨S
R∧SR \land SR∧S
P∧QP \land QP∧Q
¬R∨¬S\neg R \lor \neg S¬R∨¬S