﹁p→r，q→s，﹁p∨a├r∨s这一推理式是二难推理的（）。