演绎推理三段论优秀