查询结果
高阶逻辑
gāo jiē luó jí
ㄍㄠ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ
「高阶逻辑」是什么意思？
更新 2026-07-15 21:18:23
- 拼音字母gao jie luo ji
- 首字母gjlj
- 注音符号ㄍㄠ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ
扩展释义
高阶逻辑亦称“广义谓词逻辑”、“高阶谓词逻辑”。一阶逻辑的推广系统，谓词逻辑的重要组成部分。谓词逻辑有一阶逻辑和高阶逻辑之分。在一阶逻辑中，量词只能用于个体变元，取消这一限制条件，允许量词也可用于命题变元和谓词变元，由此构造起来的谓词逻辑就是高阶逻辑。公理化的高阶逻辑系统或高阶逻辑的自然推理系统又称为广义谓词演算或高阶谓词演算。
拆字组词
相关词语
- 一模二样查含义
- 万安社区查含义
- 中间建筑查含义
- 乱击查含义
- 传心查含义
- 先锋大厦查含义
- 信言不美查含义
- 冰刀双人舞查含义
- 刘君丽查含义
- 加法器查含义
- 唛相害查含义
- 墨河胡同查含义
- 大垌镇查含义
- 安德的游戏查含义
- 孫觀查含义
- 宋菲查含义
- 家园酒店查含义
- 姜颖查含义
- 带纹矛吻海龙查含义
- 德庄火锅城查含义
- 德庆查含义
- 支纱查含义
- 无头查含义
- 李昪查含义
- 李军凯查含义
- 根状伪足查含义
- 杨格查含义
- 棕翅缺角蛱蛾查含义
- 歪缠查含义
- 沥青路面查含义
- 泪血症查含义
- 汤氏直脉螯蜂查含义
- 球囊黄耆查含义
- 福临苑查含义
- 类符查含义
- 美洲鳗鲡查含义
- 联营合同查含义
- 苔藓纤维查含义
- 范成杰查含义
- 赵振国查含义
- 野见佑二查含义
- 遗产分割查含义
- 金鱼藻科查含义
- 陈梅梅查含义
- 马自强查含义
- 黄木香花查含义
- 上海中华学院查含义
- 佐藤公一查含义
- 海尔马查含义
- 白熊日记查含义