几何证明中的反证法实际就是手段——目的分析法。( )
1.在诸多证明方法中,就调查报告来说,(反证法)是最主要的论证方法。()
2.几何证明中的反证法实际就是( )策略。A.手段一目的分析法B.逆向工作法C.计划法D.联想法
3.小明采用反证法证明几何命题,这属于( )策略。A.手段一目的分析 B.逆向工作法 C.计划法 D.联想法
4.简述问题解决策略中的手段―目的分析法。
第1题:
第2题:
第3题:
归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“()”把关于永真性的证明转化为关于不可满足性的证明。
A.反证法
B.综合法
C.分析法
D.归纳法
第4题:
第5题:
手段-目的分析法就是将需要达到的问题的目标状态或总目标分成若干子目标,通过实现一系列的子目标最终达到总目标,即解决问题。略