标签：一阶谓词逻辑表示的优点是（）A自然性B精确性C严密性D易实现