演绎推理共4篇