在数学证明中,①假言推理、②三段论推理、③传递关系推理、④完全归纳推理,是经常使用的四种演绎推理,下面推理过程使用到上述