栩科词语词典 - 汉语查词大全 AI 汉语助手
请问「高阶逻辑」是什么意思?

关于「高阶逻辑」

拼音 gāo jiē luó jí,注音 ㄍㄠ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ。数据更新于 2026-07-16 02:50:22。

拼音字母gao jie luo ji
拼音首字母gjlj
注音符号ㄍㄠ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ
注音首符号ㄍㄐㄌㄐ

扩展释义

高阶逻辑亦称“广义谓词逻辑”、“高阶谓词逻辑”。一阶逻辑的推广系统,谓词逻辑的重要组成部分。谓词逻辑有一阶逻辑和高阶逻辑之分。在一阶逻辑中,量词只能用于个体变元,取消这一限制条件,允许量词也可用于命题变元和谓词变元,由此构造起来的谓词逻辑就是高阶逻辑。公理化的高阶逻辑系统或高阶逻辑的自然推理系统又称为广义谓词演算或高阶谓词演算。

拆字组词

相关词语