4.2-一阶谓词逻辑表示