广义谓词演算

拼音 guǎng yì wèi cí yǎn suàn · 注音 ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ · 2026-07-11 07:09:17
广字组词 义字组词 谓字组词 词字组词 演字组词 算字组词

基本属性

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

扩展释义

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

相关推荐