查询结果
高阶逻辑
gāo jiē luó jí
ㄍㄠ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ
「高阶逻辑」是什么意思？
更新 2026-07-18 22:10:06
- 拼音字母gao jie luo ji
- 首字母gjlj
- 注音符号ㄍㄠ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ
扩展释义
高阶逻辑亦称“广义谓词逻辑”、“高阶谓词逻辑”。一阶逻辑的推广系统，谓词逻辑的重要组成部分。谓词逻辑有一阶逻辑和高阶逻辑之分。在一阶逻辑中，量词只能用于个体变元，取消这一限制条件，允许量词也可用于命题变元和谓词变元，由此构造起来的谓词逻辑就是高阶逻辑。公理化的高阶逻辑系统或高阶逻辑的自然推理系统又称为广义谓词演算或高阶谓词演算。
拆字组词
相关词语
- 三言讹虎查含义
- 下降查含义
- 傲刀苍雷查含义
- 公孙穴查含义
- 凯祥花苑查含义
- 刘怀青查含义
- 吉多乡查含义
- 吴国亭查含义
- 坏疽性胆囊炎查含义
- 工笔牡丹查含义
- 当阳县查含义
- 张子容查含义
- 归途如虹查含义
- 张映全查含义
- 徐继强查含义
- 意料不到查含义
- 斑点查含义
- 有味儿查含义
- 本星系团查含义
- 正向极限查含义
- 模毒蛾查含义
- 水旱频仍查含义
- 毛竹反黄面查含义
- 淀粉凝胶电泳查含义
- 潮汐海灵查含义
- 相内沙英查含义
- 耒阳查含义
- 艾图兰组合查含义
- 范菁查含义
- 被抢劫的乐趣查含义
- 藍鬍子查含义
- 西王庄社区查含义
- 谈恋爱不重要查含义
- 跳跳钻钻查含义
- 贼拉查含义
- 铜蜓蜥查含义
- 陈玟希查含义
- 馨雅大厦查含义
- 魔法之怒查含义
- 八角台查含义
- 爱十少女查含义
- 平子丈查含义
- 菜花黄名子查含义
- 冷星查含义
- 官路修行查含义
- 鬼雨仙踪查含义
- 江树乱猿查含义
- 白角虎天牛查含义
- 尖叶柃查含义
- 钩足平直蚤查含义