推理是从一个或者一些已知的命题得出新命题的思维过程或思维形式，其中已知的命题是前提，得出的新命题是结论。

　　下面的推理是由四个命题推出最后的结论：

　　小鸟有翅膀，

　　大雁有翅膀，

　　天鹅有翅膀，

　　小鸟、大雁、天鹅都是天上飞的动物，

　　所以，凡是天上飞的动物都有翅膀。

　　推理通常分为演绎推理和归纳推理。演绎推理一般被说成是从一般到个别的推理，即根据某种一般性原理和个别性例证，得出关于该个别性例证的新结论。归纳推理则被说成是从个别到一般的推理，即从一定数量的个别性事实，抽象、概括出某种一般性原理。但更精确的说法是：演绎推理是必然性推理，即前提真能够确保结论真;归纳推理是或然性推理，前提只对结论提供一定的支持关系，前提真结论不一定真。

　　推理形式，是指在一个推理中抽掉各个命题的具体内容之后所保留下来的那个模式或框架，或者说，是多个推理中表达不同思维内容的各个命题之间所共同具有的联系方式，由逻辑常项(如命题联结词“或者”、“并且”、“如果，则”、“当且仅当”和“并非”，直言命题中的系词“是”和“不是”，量词“所有”和“有些”等)和逻辑变项(如命题变项p、q、r、s、t，词项变项S、P、M等)构成。任何一个推理都可以表示为一个“如果前提(成立)，那么结论(成立)”的条件命题，只要用“并且”把它的前提(如果有多个前提的话)连接成为一个联言命题，作为该条件命题的前件，把它的结论作为该条件命题的后件。其中逻辑常项代表推理中的结构要素，常项的不同决定了推理形式的不同;变项代表推理中的内容要素，变项由相应的常项替代，就从推理形式得到了具体的推理;对同一个推理形式，做不同的替代，可以得到不同的具体推理。

　　例如，对推理形式

　　如果p那么q

　　p

　　所以，q

　　其中的命题变项p、q作不同的代入，可得到下面两个不同的推理：

　　推理1：

　　如果刘时文感冒，则刘时文会发烧;

　　刘时文确实感冒了，

　　所以，刘时文会发烧。

　　推理2：

　　如果天下雨则地湿;

　　天确实在下雨，

　　所以，地会湿。

　　MBA逻辑考试中有一类为“推理结构相似比较型”的考题，要求考生比较几个不同的推理在结构上的相似或者不同。例1. 如果学校的财务部门没有人上班，我们的支票就不能入账;我们的支票不能入账，因此，学校的财务部门没有人上班。