问答题

什么是归结证明方法？

答案：归结推理方法，也就是从A∧B∧C∧～D出发，计算机机械化地使用推理规则来找出矛盾，达到证明：A∧B∧C→D是一个定理（恒...

你可能感兴趣的试题

单项选择题

‌（）也叫金刚跏趺坐，是各种坐姿中最稳的一种‍

A．莲花跏趺坐
B．善跏趺坐
C．结跏趺坐
D．半跏趺坐

单项选择题

行为动词有含糊与明确之分，以下属于明确动词的是（）。

A.知道
B.了解
C.解决
D.欣赏