推理

推理(reasoning)指由一组命题（称为前提）得到新命题（称为结论）的过程。通常是在前提的基础上，遵循某种逻辑规律，得到有关联的结论。通常来说一个论证过程(argument)会从已知事实、新事实或假设出发，经过一系列这样的推理步骤，得到一个有效的结论。

推理形式在不同资料中常有不同的分类。比如依据是否有效推理分为演绎推理（广义）和合情推理，根据推理方向、前提与结论所描述主体间的关系分为演绎推理（狭义）、归纳推理（广义）、类比推理、溯因推理等，根据推理中命题的形式分为模态推理、简单命题推理、复合命题推理等。

推理是一种按规律得到新命题的过程，不一定得到真命题，或者说，推理结果不一定是事实。首先，推理过程中的前提不一定是可靠的事实；其次，不同逻辑规律在前提和结论间的联系方面也有不同的性质。

传统逻辑
推理的传统分类
推理方向	一般到特殊	特殊到一般		特殊到特殊	结果到原因
推理过程	演绎	归纳（广义）		类比	溯因
推理方法	演绎法	完全归纳法（含数学归纳法等）	归纳法（狭义）（不完全归纳法）	类比法	溯因法
推理分类	演绎推理/必然性推理		归纳推理	类比推理	溯因推理
推理分类	演绎推理/必然性推理		合情推理/概然性推理/或然性推理
命题及其演绎推理的传统分类
直言命题	直接推理（对当关系推理、换质推理、换位推理）、三段论（直言三段论）
假言命题	假言推理（肯定前件、否定后件、逆否命题推理）、假言三段论
选言命题	选言推理（选言三段论）
-	选言假言推理（构成式二难推理、破斥式二难推理）