单项选择题

下面哪项不是一阶谓词逻辑表示法的优点?()

A.精确性
B.效率高
C.容易实现
D.严密性
微信扫码免费搜题