英语词汇“unary predicate calculus”的读音、翻译、释义、用法及例句-语文网

词汇	unary predicate calculus
释义	unary predicate calculus 单述词演算若在二阶述词演算中，只允许使用普通常数和普通变数，命题常数和命题变数，以及单变元的述词函数和述词函数变数，但不许使用其它的函数或函数变数，则称为单述词演算。
随便看	焮焯焰焰焰火焱然然则然後然而然诺炼炼炼丹炼乳炼句炼油工业炼油厂炼油能力炼油设备炼焦炼狱炼制炼金术炼金术士

语文网英语在线翻译词典收录了223822条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。