3）三段论式推理常用的格式为：

M--P （M是P） ① ①是大前提，它提供了一个一般性的原理；

S--M （S是M） ② ②是小前提，它指出了一个特殊对象；

S--P （S是P） ③ ③是结论，它是根据一般性原理，对特殊情况做出的判断。

"三段论"是演绎推理的一般模式，包括：⑴大前提---------已知的一般结论；⑵小前提---------所研究的特殊情况；⑶结论---------根据一般原理，对特殊情况得出的判断。

讨论：演绎推理与合情推理有什么区别？

　　合情推理；演绎推理：由一般到特殊.

二、证明

●1. 直接证明：是从命题的条件或结论出发，根据已知的定义、公理、定理，直接推证结论的真实性。直接证明包括综合法和分析法。

　　综合法就是"由因导果"，从已知条件出发，不断用必要条件代替前面的条件，直至推出要证的结论。

　　分析法就是从所要证明的结论出发，不断地用充分条件替换前面的条件或者一定成立的式子，可称为"执果索因"。

　　要注意叙述的形式：要证A，只要证B，B应是A成立的充分条件. 分析法和综合法常结合使用，不要将它们割裂开。

●2. 间接证明：即反证法：是指从结论的否定出发，经过逻辑推理，导出矛盾，证实结论的否定是错误的，从而肯定原结论是正确的证明方法。

　　反证法的一般步骤是：反设--推理--矛盾--原命题成立。（所谓矛盾是指：与数学公理、定理、公式、定义或已证明了的结论矛盾；与公认的简单事实矛盾；或与已知条件矛盾）。

　　常见的"结论词"与"反议词"如下表：

原结论词 否定 原结论词 否定 至少有一个 一个也没有 对所有的x都成立 存在某个x不成立 至多有一个 至少有两个 对任意x不成立 存在某个x成立 至少有n个 至多有n－1个 p或q ¬p且¬q 至多有n个 至少有n＋1个 p且q ¬p或¬q