一阶逻辑
基本解释
简解
一阶逻辑的词语属性
拼音yī jiē luó ji
拼音字母yi jie luo ji
拼音首字母yjlj
一阶逻辑的百科含义
一阶逻辑(first order logic,FOL)也叫一阶谓词演算，允许量化陈述的公式，是使用于数学、哲学、语言学及计算机科学中的一种形式系统。一阶逻辑是区别于高阶逻辑的数理逻辑，它不允许量化性质。性质是一个物体的特性；所以一个红色物体被表述为有红色的特性。
猜你喜欢
- jiaoheng教亨
- nanqincun南芹村
- guisheerjiang龟蛇二将
- wanggenfu王根福
- cunsi存思
- cuimatai崔马太
- xiaodonglou萧东楼
- guangdonghaijunxuexiao广东海军学校
- ziyouzuqiu自由足球
- zhòu méi皱眉
- nanhe南禾
- weiweisi维维斯
- jianshiying简世盈
- zhaobingyun赵炳云
- yinguangyu殷光宇
- zuidaeji罪大恶极
- huayongjisu化蛹激素
- gongshangxiandaochuqiao弓上弦，刀出鞘
- kuoyerong阔叶榕
- zhangwanfu张万夫
- wuzangzhang五脏胀
- meimi美秘
- nengshihuifu能诗会赋
- hongxuechang红血肠
- chuzhapi初轧坯
- sanchuanchuanzhu三船传助
- baozhamayi爆炸蚂蚁
- annasitaqianya安娜斯塔茜亚
- wangchunqi汪春绮
- guizhoudunchiteng贵州盾翅藤