网友您好， 请在下方输入框内输入要搜索的题目：
题目内容
（请给出正确答案）
归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“（）”把关于永真性的证明转化为关于不可满足性的证明。
A．反证法
B．综合法
C．分析法
D．归纳法
参考答案和解析
正确
更多 “归结演绎推理是一种基于鲁宾逊归结原理的机器推理技术。利用逻辑“（）”把关于永真性的证明转化为关于不可满足性的证明。A．反证法B．综合法C．分析法D．归纳法” 相关考题
考题
下列关于法律推理的说法，哪些是正确的：( )A．演绎推理是根据特殊性的知识，推出关于一般性知识．只要前提真实，推理形式正确，结论必然是真实的B．归纳推理是从两个或更多的同类特殊命题中获取一般性命题的推理．如果说演绎推理是从一般到个别的推理，那么归纳推理则是从个别到一般的推理C．设证推理是一种不甚可靠的或然性逻辑，其本身不能像归纳和演绎一样总结出固定的逻辑推论形式，并且设证推理的运用受到非逻辑因素的影响太深（个人知识水平、主观偏向、经验程度乃至外力的干预都会对设证推理的效力产生直接影响）D．类比推理就其本质而言并不是严格的逻辑推论，而是一种相互关系的比较，是从已知的特殊导向未知的特殊的思维方式
考题
新课程标准中提出的五大能力是指（）。A、计算能力、逻辑推理能力、证明能力、空间想象能力、运用能力B、计算能力、逻辑推理能力、空间想象能力、抽象概括能力、数据处理能力C、数据分析能力、逻辑推理能力、想象能力、推理与证明能力、概括能力D、演绎推理能力、归纳推理能力、想象能力、概率能力、抽象概括能力
考题
下列关于亚里士多德的说法中，正确的是（）A、亚里士多德发明了数理逻辑体系，这是一种演绎推理形式体系B、亚里士多德发明了数理逻辑体系，这是一种归纳推理形式体系C、亚里士多德发明了形式逻辑体系，这是一种归纳推理形式体系D、亚里士多德发明了形式逻辑体系，这是一种演绎推理形式体系
考题
单选题新课程标准中提出的五大能力是指（）。A
计算能力、逻辑推理能力、证明能力、空间想象能力、运用能力B
计算能力、逻辑推理能力、空间想象能力、抽象概括能力、数据处理能力C
数据分析能力、逻辑推理能力、想象能力、推理与证明能力、概括能力D
演绎推理能力、归纳推理能力、想象能力、概率能力、抽象概括能力
考题
单选题关于形式推理的表述，有错误的是（）A
形式推理主要有演绎、类比和归纳三种推理B
形式逻辑研究的是命题本身的逻辑结构和命题之间的关系C
演绎推理不关注“应当”问题，而归纳推理和类比推理要关注价值判断的问题D
形式逻辑是有关概念、判断、推理、论证及逻辑思维的基本规律
热门标签
最新试卷