查询结果
一阶逻辑
yī jiē luó jí
ㄧ ㄐㄧㄝ ㄌㄨㄛˊ ㄐㄧˊ
「一阶逻辑」是什么意思?
更新 2026-07-15 13:44:20
- 拼音字母yi jie luo ji
- 首字母yjlj
- 注音符号ㄧ ㄐㄧㄝ ㄌㄨㄛ ㄐㄧ
扩展释义
一阶逻辑(first order logic,FOL)也叫一阶谓词演算,允许量化陈述的公式,是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑,它不允许量化性质。性质是一个物体的特性;所以一个红色物体被表述为有红色的特性。
拆字组词
相关词语
- 乔球螋查含义
- 借书留真查含义
- 华普中心查含义
- 咖哩辣椒查含义
- 堂头村查含义
- 外卵壳查含义
- 大菜螟查含义
- 嫡女皇后查含义
- 宋占全查含义
- 射击指挥练习查含义
- 应山查含义
- 归脾汤查含义
- 弓惠明查含义
- 循环自杀查含义
- 思林镇查含义
- 拳王老爸查含义
- 拟四糖醇查含义
- 施冬健查含义
- 曾永权查含义
- 枳郎儿查含义
- 格尔凡德查含义
- 正位相查含义
- 欣喜查含义
- 清秀查含义
- 灰良苔蛾查含义
- 片雾烈火查含义
- 玄铁杖查含义
- 犀利奶奶查含义
- 痴虎查含义
- 碳毡查含义
- 石花镇查含义
- 白虎队查含义
- 经视看地产查含义
- 股票代码查含义
- 路东社区查含义
- 重生之幽后查含义
- 金施尔康查含义
- 雷公藤多苷查含义
- 高山带查含义
- 黄荣照查含义
- 金顶山风景区查含义
- 蜘蛛侠动画片查含义
- 税后利润边际查含义
- 监督调节职能查含义
- 刘艺豪查含义
- 玉米须龟查含义
- 云雀汽车查含义
- 伯尔尼国际查含义
- 第七放映室查含义
- 裂颚蛮戎查含义