高阶逻辑的拼音及详细解释
【词语名称】高阶逻辑(gaojieluoji)
【词语拼音】gao jie luo ji
【词语读音】gāo jiē luó ji
【词语简拼】GJLJ
【网络释义】 高阶逻辑亦称“广义谓词逻辑”、“高阶谓词逻辑”。一阶逻辑的推广系统,谓词逻辑的重要组成部分。谓词逻辑有一阶逻辑和高阶逻辑之分。在一阶逻辑中,量词只能用于个体变元,取消这一限制条件,允许量词也可用于命题变元和谓词变元,由此构造起来的谓词逻辑就是高阶逻辑。公理化的高阶逻辑系统或高阶逻辑的自然推理系统又称为广义谓词演算或高阶谓词演算。
【分字组词】辑字组词 逻字组词 阶字组词 高字组词