一阶逻辑

「一阶逻辑」是什么意思？

更新 2026-07-17 17:23:46

• 拼音字母yi jie luo ji
• 首字母yjlj
• 注音符号ㄧ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ

扩展释义

一阶逻辑(first order logic,FOL)也叫一阶谓词演算，允许量化陈述的公式，是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。

拆字组词

相关词语

• 主反馈查含义
• 六义附庸查含义
• 半蒴苣苔属查含义
• 古努查含义
• 地缘政治查含义
• 大渡岗乡查含义
• 官张球螋查含义
• 少女队查含义
• 小贼当家查含义
• 川黔尖叶柃查含义
• 张青福查含义
• 强力破碎机查含义
• 沙格拿查含义
• 沼气锅炉查含义
• 淡黄额角蛛查含义
• 狂暴者查含义
• 理性与革命查含义
• 白龙庙查含义
• 百里酚酞查含义
• 研经镇查含义
• 祁恩进查含义
• 禅猫日本料理查含义
• 移用查含义
• 稍安毋躁查含义
• 红花酢浆草查含义
• 脱稳查含义
• 菜鸟网吧查含义
• 花叶芦竹查含义
• 蔡家洼村查含义
• 贩贱卖贵查含义
• 郭建春查含义
• 金鞭溪查含义
• 陈滨查含义
• 风火腿甲查含义
• 马启智查含义
• 魔神之怒查含义
• 质检所查含义
• 风之传承者查含义
• 星座四格查含义
• 罢谷节查含义
• 夫君好缠人查含义
• 科尔扎南科查含义
• 豆渣小鱼饼查含义
• 口袋宝贝查含义
• 大黄朴消汤查含义
• 信今生爱过查含义
• 法没时七秽行查含义
• 庄令舆查含义
• 彭文斌查含义
• 孙乐洵查含义

热门组词

• 身家性命组词
• 华夏食府组词
• 冲决网罗组词
• 官纵商横组词
• 卧底傻妃组词
• 葛洛莉亚组词
• 玄武圣皇组词
• 生张熟魏组词
• 佻身飞镞组词
• 自治系统组词