谓词逻辑表示法

谓词逻辑表示法（predicate logic representation）是2011年全国科学技术名词审定委员会公布的语言学名词。