计算题 用消解证明法构造推理的证明：前提：p∨q，p→r，q→s结论：r∨s。