【词语名称】广义谓词演算(guangyiweiciyansuan)
【词语拼音】guang yi wei ci yan suan
【词语读音】guǎng yì wèi cí yǎn suàn
【词语简拼】GYWCYS
【网络释义】 广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。
【分字组词】义字组词 广字组词 演字组词 算字组词 词字组词 谓字组词