一阶理论

更新时间：2024-10-06 04:45:28

一阶理论的词语属性

拼音yī jiē lǐ lùn

拼音字母yi jie li lun

拼音首字母yjll

一阶理论是指建立在一阶逻辑基础上的理论。一个一阶理论是这样一个形式系统：(1)语言是一阶语言：(2)公理包含逻辑公理与非逻辑公理。(3)规则是谓词演算的变形规则。逻辑公理是由所选择的语言决定的，它独立于非逻辑公理。

热门词语