高阶逻辑

音义

广训

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

组词

高 阶 逻 辑

相关

• 久坐必有一禅
• 休闲用品
• 八家乡
• 凸焊
• 制链器
• 加的斯
• 刺黑竹
• 叶酸缺乏症
• 周健君
• 天下足球
• 天潼路
• 实用音乐
• 定位球战术
• 小林爱
• 手性分子
• 子羽
• 正视
• 楔尾鸥
• 查帕罗
• 水麦冬属
• 江小竽
• 眼科
• 硫脲
• 童第周
• 美软鱼
• 翠绿宝石
• 肖泽良
• 芙蓉中学
• 血饮非
• 长亭短亭
• 雌雄双谍
• 韩升
• 预付费卡
• 黍离麦秀
• 岳阳县国土局
• 格莉德
• 信号传递理论
• 炒焖黄豆
• 福特金牛座
• 棕尾扁嘴霸鹟
• 范阿肯
• 美国南部蟾蜍
• 基金交易账户
• 江南剑诀
• 单联云
• 王万龄
• 朱植
• 张水琴
• 赵巨耀
• 粟贤宇