广义谓词演算

概述

广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。

2 扩展释义

广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。

9 词语组词

相关词条

本词条最后更新于 2026-07-10 12:28:48