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