文络智义词库

2026-07-13 04:42:41

广义谓词演算

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

字母
guang yi wei ci yan suan
首字母
gywcys
注音符号
ㄍㄨㄤ ㄧ ㄨㄟ ㄘ ㄧㄢ ㄙㄨㄢ
注音首符
ㄍㄧㄨㄘㄧㄙ

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

拆字

广

相关

文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。

热门组词

链接