综合法、分析法、反证法

- - - - - - 推 理 - 合情推理