高阶逻辑亦称“广义谓词逻辑”、“高阶谓词逻辑”。一阶逻辑的推广系统,谓词逻辑的重要组成部分。谓词逻辑有一阶逻辑和高阶逻辑之分。在一阶逻辑中,量词只能用于个体变元,取消这一限制条件,允许量词也可用于命题变元和谓词变元,由此构造起来的谓词逻辑就是高阶逻辑。公理化的高阶逻辑系统或高阶逻辑的自然推理系统又称为广义谓词演算或高阶谓词演算。
网友正在查
辟展是什么意思 洗润是什么意思 广州建筑集团是什么意思 作戰值班是什么意思 orthopaedist是什么意思 香港黃道益是什么意思 metasploit是什么意思 上海市工商行政管理局嘉定分局是什么意思 若存若亡是什么意思 高阶逻辑是什么意思
汉语词典收录了近50万个词语,包含词语的解释、例句和翻译,词库仍在不断更新中。
词典数据主要来源于新华字典,以及通过机器学习从海量的互联网内容中挖掘出尚未被新华字典收录的流行词语,用于补充词库,方便大家查询。