§2谓词公式语义解释 ■个体变元,谓词,函数词和个体常元 需要逐层解决§2 谓词公式语义解释  个体变元，谓词，函数词和个体常元  需要逐层解决