[单选题]

利用计算机进行逻辑推理和定理证明，必须用到计算机（）的特性。

A .具有逻辑判断功能

B .可靠性强

C .计算精度高

D .运算速度快