“p→r,q→r,p∨q├r”这一推理式是二难推理的