推理可以分为两大类

(1) 按照前提与结论之间推断关系性质的不同，可以把推理划分成两大类：演绎推理和非演绎推理。演绎推理的前提须蕴涵结论，即一个正确的演绎推理的前提如果是真的，则结论一定是真的，而非演绎推理则未。

(2) 按照前提和结论一般性程度的不同，可以把推理分为演绎、归纳和类比。演绎是由一般性的前提推到个别性的结论;归纳是由个别性的前提推到一般性的结论;类比是由个别性的前提推到个别性的结论。归纳和类比就是所说的非演绎推理。

前面的例(1) 是演绎推理，例(2) 则是归纳推理。

推理形式(1) 和推理形式(2) 有重要的区别。在推理形式(1) 中无论用任何具体判断代入“p ”与“q”，只要经过代入后的前提是真的，那么经过代入后的结论也然是真的。

在推理形式(2) 中，对“S1”、“S2”、“S3”、“S ”与“P ”，我们用某些具体概念代入，结果，前提是真的，结论也是真的;但是，用另一些具体概念代入，结果，前提虽然是真的，结论却是假的。这也就是说，在推理形式(2) 中，经过代入以后，当前提是真的，结论只是或然地真。

在这个意义上，我们说推理形式(1) 的前提与结论之间有然性联系，而推理形式(2) 的前提与结论之间有或然性联系。