栩科词语词典 - 汉语查词大全 AI 汉语助手
请问「广义谓词演算」是什么意思?

关于「广义谓词演算」

拼音 guǎng yì wèi cí yǎn suàn,注音 ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ。数据更新于 2026-07-12 05:25:50。

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

扩展释义

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

拆字组词

相关词语