思考顺序是从题设到题断的思考方法，叫综合法。 其思考顺序：由因导果 →C,→ →B→C2→ A→B→C→D →B2→C3→ →C4→ 由A推演达到D的途径，但由A推出的结论未必唯一（如B、B、B2),而 由B、B1、B2推出的结论更多（如C、C1、C2、C、C4等），这样由其中哪一个 能推出D就还需要进一步分析，因而整个思考过程未必很简捷。 逻辑依据：A→B,B→C,C一→D。 其中每个蕴涵是以前已经证过的定理，也可以是公理或定义。 这样，由A出发，依次应用分离规划，最后得到D,然后详细写出过程来： A→B(已知) A B B→C尼知) C→D已知) D 运用蕴涵的传递性也可以 A→B B→C A→C C→D A→D [(A→B)∧(B-C)A(C-D)】→D或(A,B,C)→D 分离规划： 若p→q真，p真，则q真。即(p一→q)Ap→q (三)分析综合法（略） 推理方向是从己知到求证（未知）一一综合法（由因导果）反之，从求证出 发追索到已知一一分析法（执果索因）如果同时从已知及求证出发，经过推理得 思考顺序是从题设到题断的思考方法，叫综合法。 其思考顺序：由因导果 D C C C C C B B B A → → → → → → → → → → → → → 4 3 2 1 2 1 由 A 推演达到 D 的途径，但由 A 推出的结论未必唯一（如 B、B1、B2），而 由 B、B1、B2 推出的结论更多（如 C、C1、C2、C3、C4 等），这样由其中哪一个 能推出 D 就还需要进一步分析，因而整个思考过程未必很简捷。 逻辑依据：A→B，B→C，C→D。 其中每个蕴涵是以前已经证过的定理，也可以是公理或定义。 这样，由 A 出发，依次应用分离规划，最后得到 D，然后详细写出过程来： D C B B A A B C D( ) C( ) 已知 已知 （已知） → → → 运用蕴涵的传递性也可以： D A A D C D A C B C A B → → → → → [（A→B）∧（B→C）∧（C→D）] →D 或（A，B，C）→D 分离规划： 若 p→q 真，p 真，则 q 真。即（p→q）∧p→q。 （三）分析综合法（略） 推理方向是从已知到求证（未知）——综合法（由因导果）反之，从求证出 发追索到已知——分析法（执果索因）如果同时从已知及求证出发，经过推理得