基本属性
- 拼音字母gao jie luo ji
- 拼音首字母gjlj
- 注音符号ㄍㄠ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ
扩展释义
高阶逻辑亦称“广义谓词逻辑”、“高阶谓词逻辑”。一阶逻辑的推广系统，谓词逻辑的重要组成部分。谓词逻辑有一阶逻辑和高阶逻辑之分。在一阶逻辑中，量词只能用于个体变元，取消这一限制条件，允许量词也可用于命题变元和谓词变元，由此构造起来的谓词逻辑就是高阶逻辑。公理化的高阶逻辑系统或高阶逻辑的自然推理系统又称为广义谓词演算或高阶谓词演算。
高阶逻辑是什么意思？专家解读
918学习网·汉语词语词典
2026-07-15 22:06:47
「高阶逻辑」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音：gāo jiē luó jí，注音：ㄍㄠ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ。