second-order predicate calculus

second-order predicate calculus 基本解释

[计] 二阶谓词演算

重点词汇

second n. 助手；第二名；秒；第二份食物 pron. 第二（个人或事物） adj. 次等的；次要的；（重要性、规模、质量等）居第二位的；另外的 adv. 其次，以第二位 vt. 支持；临时调派；附议；赞成某提案

order n. 次序, 规则, 命令 vi. 命令, 定货 vt. 整理, 命令, 定购 n. 顺序, 阶数 [计] 顺序, 阶数

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

calculus n. 结石；微积分学