约4610字。

　　第四讲　推理与证明
　　考点一：合情推理问题
　　1．归纳推理．
　　(1)归纳推理是由某类事物的________具有某些特征，推出该类事物的________具有这些特征的推理，或者由个别事实概括出________的推理．
　　(2)归纳推理的思维过程如下：
　　实验、观察―→概括、推广―→猜测一般性结论
　　2．类比推理．
　　(1)类比推理是由两类对象具有某些类似特征和其中一类对象的某些已知特征，推出另一类对象也具有这些特征的推理．
　　(2)类比推理的思维过程如下：
　　观察、比较―→联想、类推―→猜测新的结论
　　考点二：演绎推理问题
　　1．“三段论”是演绎推理的一般模式，包括：
　　(1)大前提——已知的一般性原理．
　　(2)小前提——所研究的特殊情况．
　　(3)结论——根据一般原理，对特殊情况做出的判断．
　　2．合情推理与演绎推理的区别．
　　归纳和类比是常用的合情推理，从推理形式上看，归纳是由部分到整体、个别到一般的推理；类比是由特殊到特殊的推理；而演绎推理是由一般到特殊的推理．从推理所得的结论来看，合情推理的结论不一定正确，有待进一步证明；演绎推理在大前提、小前提和推理形式都正确的前提下，得到的结论一定正确．
　　考点三：直接证明问题
　　1．综合法．
　　用P表示已知条件、已有的定义、定理、公理等，Q表示所要证明的结论，则综合法可用框图表示为：P⇒Q1―→Q1⇒Q2―→Q2⇒Q3→…→Qn⇒Q
　　2．分析法．
　　用Q表示要证明的结论，则分析法可用框图表示为：                
　　Q⇐P1→P1⇐P2→P2⇐P3→…→得到一个明显成立的条件
　　考点四：间接证明问题
　　反证法的证明过程可以概括为“否定——推理——否定”，即从否定结论开始，经过正确的推理，导致逻辑矛盾，从而达到新的否定(即肯定原命题)的过程．用反证法证明命题“若p则q”的过程可以用如下图所示的框图表示．
　　表示条件p 否定结论  --  导致逻辑矛盾   -- “既p又q“ 为假  --  “若p则q”为真