高三数学第一轮复习章节知识点
高三数学第一轮复习章节知识点
3）三段论式常用的格式为：
M——P （M是P）
S——M （S是M）
S——P （S是P）① ② ③
其中①是大前提，它提供了一个一般性的原理；②是小前提，它指出了一个特殊对象；③是结论，它是根据一般性原理，对特殊情况做出的判断。
二、证明
●1.直接证明：是从命题的条件或结论出发，根据已知的定义、公理、定理，直接推证结论的真实性。直接证明包括综合法和分析法。
综合法就是“由因导果”，从已知条件出发，不断用必要条件代替前面的条件，直至推出要证的结论。
分析法就是从所要证明的结论出发，不断地用充分条件替换前面的条件或者一定成立的式子，可称为“由果索因”。
要注意叙述的形式：要证A，只要证B，B应是A成立的充分条件.分析法和综合法常结合使用，不要将它们割裂开。
●2.间接证明：即反证法：是指从否定的结论出发，经过逻辑推理，导出矛盾，证实结论的否定是错误的，从而肯定原结论是正确的证明方法。
反证法的一般步骤是：反设——推理——矛盾——原命题成立。（所谓矛盾是指：与假设矛盾；与数学公理、定理、公式、定义或已证明了的结论矛盾；与公认的简单事实矛盾）。常见的“结论词”与“反议词”如下表：
《第15章 推理与证明知识结构.doc》
将本文的Word文档下载到电脑，方便编辑。
推荐度：
点击下载文档