一阶理论
基本解释
简解
一阶理论的词语属性
拼音yī jiē lǐ lùn
拼音字母yi jie li lun
拼音首字母yjll
一阶理论的百科含义
一阶理论是指建立在一阶逻辑基础上的理论。一个一阶理论是这样一个形式系统:(1)语言是一阶语言:(2)公理包含逻辑公理与非逻辑公理。(3)规则是谓词演算的变形规则。逻辑公理是由所选择的语言决定的,它独立于非逻辑公理。
猜你喜欢
- qingnenghao氢能耗
- zhenxiyake针蟋亚科
- tiaowenpadique条纹爬地雀
- minguirunnan闽桂润楠
- tianshuishigonganju天水市公安局
- jingtaizhili晶态智力
- bafeitebaogao巴菲特报告
- ruyibaobei如意宝贝
- paqiukaguan帕丘卡罐
- hongshijie红世界
- changmiandehuaduo长眠的花朵
- nongzhangzhen弄璋镇
- mashangti马上体
- guwanrensheng古玩人生
- xiaomingxia肖明霞
- taiwanmengying台湾孟蝇
- jiangyu江鱼
- shikefa史可法
- dingchenyang丁宸颺
- gonghaiqiangjianfengbao公海强奸风暴
- ranmeizhifenxitong燃煤制粉系统
- qingbuduanku青布短裤
- weilanxiang魏兰香
- juancai卷材
- kalaierjiudian卡莱尔酒店
- wangsuling王素玲
- wanjiazhihou万家之侯
- kesiman克死螨
- shujujiekou数据接口
- dongjiaren东家人