高阶逻辑
gāo jiē luó jí
ㄍㄠ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ
📖 词语释义
- 拼音字母gao jie luo ji
- 首字母gjlj
- 注音符号ㄍㄠ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ
- 更新2026-07-16 10:44:18
更多解释
高阶逻辑亦称“广义谓词逻辑”、“高阶谓词逻辑”。一阶逻辑的推广系统，谓词逻辑的重要组成部分。谓词逻辑有一阶逻辑和高阶逻辑之分。在一阶逻辑中，量词只能用于个体变元，取消这一限制条件，允许量词也可用于命题变元和谓词变元，由此构造起来的谓词逻辑就是高阶逻辑。公理化的高阶逻辑系统或高阶逻辑的自然推理系统又称为广义谓词演算或高阶谓词演算。
✂️ 拆字组词
🔗 相关词语
友情链接
抓书网
短词网
书号查询
星云网
明日预报是什么意思？
最亲的家人过生日说说句子(精品76句)是什么意思？
桂林特产是什么意思？
斑剑尾鱼是什么意思？ bān jiàn wěi yú
查看详情是什么意思？
张丽娟是什么意思？
近截驼舞虻 jìn jié tuó wǔ méng是什么意思？
屠莠胺是什么意思？
中国历史朝代顺序-历史朝代歌是什么意思？
百家号是什么意思？
广州天气预报30天是什么意思？
蛇王是什么意思？
查看青海天气-深圳明天天气 查看青海天气 青海是什么意思？
小常识 是什么意思？ xiǎo cháng shí
呼和浩特天气预报30天是什么意思？
哈尔滨天气预报30天是什么意思？