unary predicate calculus

读音：英 [ˈjuːnəri ˈpredɪkət ˈkælkjələs] 美[ˈjuːnəri ˈpredɪkət ˈkælkjələs]

[计] 单谓词演算

unary a. [数]一元的

predicate n. 谓语, 谓项 a. 谓语的 vt. 断定为, 使基于, 意味着, 预言 vi. 断言 [计] 谓词; 判定; 断定

calculus n. 结石；微积分学

unary predicate calculus是什么意思 unary predicate calculus怎么读 unary predicate calculus中文意思翻译