“三段论”
从推理形式上看，归纳是由部分到整体，个别到一般的推理，类比是由特殊到特殊的推理，而演绎推理是由一般到特殊的推理。从推理所得的结论来看，合情推理的结论不一定正确，有待证明。演绎推理在大前提、小前提和推理形式都正确的前提下，得到的结论一定正确。
数学的证明主要是通过演绎推理来进行的，一个复杂的数学命题的证明，往往是由多个“三段论”构成的.在本题中其实暗含着两个“三段论”。