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