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

词汇	unary predicate calculus
释义	unary predicate calculus 单述词演算若在二阶述词演算中，只允许使用普通常数和普通变数，命题常数和命题变数，以及单变元的述词函数和述词函数变数，但不许使用其它的函数或函数变数，则称为单述词演算。
随便看	look-ahead field look-alike lookalike look-aside buffer look at look back on lookback option lookdown look down on look down one's nose at looker looker-on look for look-for exp look for trouble look forward to look-in look-in field -looking looking looking glass looking-glass look into look like look like a drowned rat

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