一阶逻辑
yī jiē luó jí · ㄧ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ
- 字母
- yi jie luo ji
- 首字母
- yjlj
- 注音符号
- ㄧ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ
- 注音首符
- ㄧㄐㄌㄐ
一阶逻辑(first order logic,FOL)也叫一阶谓词演算，允许量化陈述的公式，是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
拆字
相关
文络智义词库，您的专属汉语词典。海量词条，精准释义，成语、近义词、反义词一键查询。专业友好的界面，让词语学习更高效。
热门组词
链接
抓书网 短词网 书号查询 星云网 狭管马先蒿是什么意思？ 法大吉面包好吃吗？加盟赚钱吗？是什么意思？ 楚汉传奇彭城之战（彭城之战：项羽大战刘邦）是什么意思？ 天津天气预报30天是什么意思？ 百家号是什么意思？ 柯基生是什么意思？ 英语单词是什么意思？ 死城 sǐ chéng是什么意思？ 海口天气预报30天是什么意思？ 动物是什么意思？ 飠是什么意思？ 词 汉字组词 快速组词，智能，免费是什么意思？ 水溶笔是什么意思？ 史拉格是什么意思？ 新窑是什么意思？ 腰堡街道 拼音 yāo bǎo jiē dào，一文读懂「腰堡街道」的含义、出处与用法。 yāo bǎo jiē dào 通达词典 - 汉语词语查询大全 2026-06-30 15:41:26是什么意思？