更新时间：2026-07-10 04:10:02
求解答，词语「广义谓词演算」是什么意思？再说说广义谓词演算有什么含义？
广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。
欢迎使用朴木新华词语词典！我们专注于提供权威、全面的汉语词语查询服务，涵盖成语、近义词、反义词、组词等丰富内容。无论是学生、教师还是文字工作者，都能在这里找到精准的词语解释与用法。专业、高效、友好，助您轻松掌握汉语词汇。