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

词汇	unary predicate calculus
释义	unary predicate calculus 单述词演算若在二阶述词演算中，只允许使用普通常数和普通变数，命题常数和命题变数，以及单变元的述词函数和述词函数变数，但不许使用其它的函数或函数变数，则称为单述词演算。
随便看	province provincial provincialism provinciality provincialize provincially proving proving ground proving time provision provisional provisional duty provisional insurance provisional invoice provisionality provisional licence provisionally provisional measures provisional policy provisioner proviso proviso provisor provisory provitamin

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