广义谓词演算

拼音guǎng yì wèi cí yǎn suàn 注音ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ 更新2026-07-27 23:33:44
读音信息
拼音字母
guang yi wei ci yan suan
拼音首字母
gywcys
注音符号
ㄍㄨㄤ ㄧ ㄨㄟ ㄘ ㄧㄢ ㄙㄨㄢ
注音首字母
ㄍㄧㄨㄘㄧㄙ
百科释义

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

拆字组词
相关词语