2.2--谓词逻辑表示法