2.2.6 一阶谓词逻辑表示法的特点