一、綜合法
1.直接證明
(1)直接證明是從命題的條件或結(jié)論出發(fā),根據(jù)已知的定義、公理、定理,直接推證結(jié)論的真實(shí)性.
(2)常用的直接證明方法有綜合法與分析法.
2.綜合法
(1)定義:綜合法是從原因推導(dǎo)到結(jié)果的思維方法,也就是從已知條件出發(fā),經(jīng)過逐步的推理,最后達(dá)到待證結(jié)論.
(2)符號表示:P0(已知)⇒P1⇒P2⇒…⇒Pn(結(jié)論).
二、分析法
1.定義:分析法是一種從結(jié)果追溯到產(chǎn)生這一結(jié)果的原因的思維方法.也就是從待證結(jié)論出發(fā),一步一步尋求結(jié)論成立的充分條件,最后達(dá)到題設(shè)的已知條件或已被證明的事實(shí).
2.符號表示:
B(結(jié)論)⇐B1⇐B2⇐…⇐Bn⇐A(已知)
1.判斷(正確的打“√”,錯誤的打“×”)
(1)綜合法是執(zhí)果索因的逆推證法. ( )
(2)分析法就是從結(jié)論推向已知. ( )
(3)綜合法的推理過程實(shí)際上是尋找它的必要條件的過程.分析法的推理過程實(shí)際上是尋求結(jié)論成立的充分條件的過程. ( )