一、综合法
1．直接证明
(1)直接证明是从命题的条件或结论出发，根据已知的定义、公理、定理，直接推证结论的真实性．
(2)常用的直接证明方法有综合法与分析法．
2．综合法
(1)定义：综合法是从原因推导到结果的思维方法，也就是从已知条件出发，经过逐步的推理，最后达到待证结论．
(2)符号表示：P0(已知)⇒P1⇒P2⇒…⇒Pn(结论)．
二、分析法
1．定义：分析法是一种从结果追溯到产生这一结果的原因的思维方法．也就是从待证结论出发，一步一步寻求结论成立的充分条件，最后达到题设的已知条件或已被证明的事实．
2．符号表示：
B(结论)⇐B1⇐B2⇐…⇐Bn⇐A(已知)
1．判断(正确的打“√”，错误的打“×”)
(1)综合法是执果索因的逆推证法． ( )
(2)分析法就是从结论推向已知． ( )
(3)综合法的推理过程实际上是寻找它的必要条件的过程．分析法的推理过程实际上是寻求结论成立的充分条件的过程． ( )
