4.2 一阶谓词逻辑表示