一阶谓词逻辑表示法的优点是()。