“p∨q∨r，┐p├q∨r”这一推理是____推理的____式。