证明 (P∨Q)∧(P→R) ∧(Q→S) 1-S∨R