百 思墨词语词典 - 汉语词典大全 作者 2026-07-13 16:34:29 广义谓词演算 拼音 guǎng yì wèi cí yǎn suàn · 注音 ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ 基本属性 拼音字母guang yi wei ci yan suan 拼音首字母gywcys 注音符号ㄍㄨㄤ ㄧ ㄨㄟ ㄘ ㄧㄢ ㄙㄨㄢ 扩展释义 广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。