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