找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 高阶逻辑
高阶逻辑亦称“广义谓词逻辑”、“高阶谓词逻辑”。一阶逻辑的推广系统，谓词逻辑的重要组成部分。谓词逻辑有一阶逻辑和高阶逻辑之分。在一阶逻辑中，量词只能用于个体变元，取消这一限制条件，允许量词也可用于命题变元和谓词变元，由此构造起来的谓词逻辑就是高阶逻辑。公理化的高阶逻辑系统或高阶逻辑的自然推理系统又称为广义谓词演算或高阶谓词演算。 — 拼音 gāo jiē luó jí，更新 2026-07-14 11:57:27
| 拼音 | gāo jiē luó jí |
|---|---|
| 拼音字母 | gao jie luo ji |
| 首字母 | gjlj |
| 注音 | ㄍㄠ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ |
| 注音符号 | ㄍㄠ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ |