利用计算机进行逻辑推理和定理证明,必须用到计算机()的特性。
A:具有逻辑判断功能
B:可靠性强
C:计算精度高
D:运算速度快
出自:计算机科学