判定法：其基本思想是依据推理规则，从前提和公理中可以推出许多定理，如果待证明的定理恰好在其中，则定理得证。()_计算机科学与技术_全学科试题题库

当前学科：计算机科学与技术

题目：未知类型
判定法：其基本思想是依据推理规则，从前提和公理中可以推出许多定理，如果待证明的定理恰好在其中，则定理得证。()
答案： <查看本题扣1积分>

查看答案

答案不对？请尝试站内搜索

推荐知识点:

上颌骨骨折如合并颅脑损伤，应待生命体征平稳后，把握手术时机。通常在伤后多长时间内行上颌骨骨折复位与固定（）

（）是社会行政的基础。

在圆杆上套M12的螺纹，圆杆直径应为（）mm.

聚合腐植酸的抗盐、抗钙、防塌能力强，抗温达200℃。

下列何种药兼具α和β受体阻断作用（）

酶作为典型的催化剂可产生下列哪种效应（）

在植物病毒接种时，加金刚沙的作用是（）。

紧脉主病（）。

从贸易总额上看，日据后数十年来，台湾对闽贸易之趋势，有以下这些特点（）。