广义谓词演算
概述
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。
2 扩展释义
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。
9 词语组词
相关词条
本词条最后更新于 2026-07-10 12:28:48
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。
本词条最后更新于 2026-07-10 12:28:48