从一个或几个判断(这叫前提)推出另一个判断(这叫结论)的思维形式。如由“正义的事业一定胜利”和“我们的事业是正义的事业”这两个前提推出结论：“我们的事业一定胜利。”推理是把判断组织起来开展思维活动，在实践的基础上认识客观世界的重要环节。

“完全归纳推理”的对称。以关于某类事物中部分对象的判断为前提，推出关于某类事物全体对象的判断做结论的推理。在归纳推理中，完全归纳推理是不多的，不完全归纳推理则是大量的。有两种：(1)简单枚举归纳推理，这是或然性推理；(2)科学归纳推理，这是必然性推理。

几个前提都是关系判断而结论也是关系判断的推理。

前提和结论都是假言判断的推理。

由两个假言判断和一个有两个选言支的选言判断做前提构成的推理。假言选言推理的主要形式。其结论可以是直言判断，也可以是选言判断。因为这种推理有时反映左右为难的困境，故称。东方朔偷饮了汉武帝求得的据说饮了能够不死的酒，汉武帝要杀他，他说：“如果这酒真能使人不死，那么你就杀不死我；如果这酒不能使人不死(你能杀得死我)，那么它就没有什么用处；这酒或者能使人不死，或者不能使人不死；所以你或者杀不死我，或者不必......更多

以关于两个事物某些属性相同的判断为前提，推出两个事物的其他属性相同的结论的推理。如声和光有不少属性相同--直线传播，有反射、折射和干扰等现象；由此推出：既然声有波动性质，光也有波动性质。这就是类比推理。类比推理具有或然性。如果前提中确认的共同属性很少，而且共同属性和推出来的属性没有什么关系，这样的类比推理就极不可靠，称为机械类比。

以模态判断为前提或结论的推理。根据模态判断间的关系进行。也有直接推理和间接推理之分。例如由“不可能一切规律都已为我们所掌握”推出“必然有的规律还没有为我们所掌握”，就是一个直接的模态推理。

第一个前提是选言判断，第二个前提和结论都是直言判断，分别肯定或否定该选言判断的一个或几个选言支的推理。

“或然性推理”的对称。从真前提能够必然地推出真结论的推理。包括：各种直接推理，三段论，关系推理，假言推理，选言推理，完全归纳推理，科学归纳推理。

“必然性推理”的对称。从真前提只能或然地(并非必然地)推出真结论的推理。主要有简单枚举归纳推理和类比推理。