请问「广义谓词演算」是什么意思？
2026-07-10 05:14:47
「广义谓词演算」读音
拼音 guǎng yì wèi cí yǎn suàn，注音 ㄍㄨㄤˇ ㄧˋ ㄨㄟˋ ㄘˊ ㄧㄢˇ ㄙㄨㄢˋ
| 拼音字母 | guang yi wei ci yan suan |
|---|---|
| 拼音首字母 | gywcys |
| 注音符号 | ㄍㄨㄤ ㄧ ㄨㄟ ㄘ ㄧㄢ ㄙㄨㄢ |
| 注音首符号 | ㄍㄧㄨㄘㄧㄙ |
「广义谓词演算」释义
扩展释义 广义谓词演算( extended predicate calculus)广义谓词逻辑的形式系统。详“高阶逻辑”。
推荐