给力思辨词典 - 汉语词语成语大全

广义谓词演算

guǎng yì wèi cí yǎn suàn ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ

更新于 2026-07-16 03:29:31

读音信息

拼音: guǎng yì wèi cí yǎn suàn
拼音字母: guang yi wei ci yan suan
拼音首字母: gywcys
注音: ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ
注音符号: ㄍㄨㄤㄧㄨㄟㄘㄧㄢㄙㄨㄢ

百科释义

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

拆字组词