一阶理论
概述
一阶理论是指建立在一阶逻辑基础上的理论。一个一阶理论是这样一个形式系统：(1)语言是一阶语言：(2)公理包含逻辑公理与非逻辑公理。(3)规则是谓词演算的变形规则。逻辑公理是由所选择的语言决定的，它独立于非逻辑公理。
2 扩展释义
一阶理论是指建立在一阶逻辑基础上的理论。一个一阶理论是这样一个形式系统：(1)语言是一阶语言：(2)公理包含逻辑公理与非逻辑公理。(3)规则是谓词演算的变形规则。逻辑公理是由所选择的语言决定的，它独立于非逻辑公理。
9 词语组词
相关词条
本词条最后更新于 2026-07-10 06:54:06
友情链接
抓书网
短词网
书号查询
星云网
jiào是什么意思？
http://www.sacpz.com/j/39785.html
适合过年送的礼品介绍是什么意思？
南海诸岛-降雨预报 南海诸岛 南海诸岛是什么意思？
实习报告是什么意思？
在线定时刷新网址是什么意思？
优秀作文是什么意思？
呼和浩特天气预报30天是什么意思？
红楼梦发言稿(汇集二十篇)是什么意思？
名字测试是什么意思？
会计（浮桥上班） (新职位)是什么意思？
全国天气预报网站地图是什么意思？
海南红心木瓜是什么意思？
铁东天气预报30天是什么意思？
14画属土的吉祥字解释及寓意是什么意思？
骤雨骤晴，谨防柑橘裂果！是什么意思？