灵慧汉语 - 词语词典 聊天词典

请问「广义谓词演算」是什么意思?

2026-07-16 06:52:39

「广义谓词演算」读音

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

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

「广义谓词演算」释义

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