命题逻辑系统中理论的真度概念及其应用

摘要：

首次在命题逻辑系统中引入理论的真度概念,将公式的真度推广为公式集的真度,从而简化了发散度的概念;进一步得出:当理论T相容时,理论的真度与相容度之间的关系为η(T):(1+t(T))/2;在命题逻辑系统C2中,将理论T1和T2分为六类,分别讨论了各类中理论T1、T2与T1 UT2的真度之间的关系.

关键词：理论的真度、相容度、发散度、有限、可数

所属期刊栏目：37

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金资助项目10771129;陕西师范大学211工程建设基金

在线出版日期：2011-11-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1-6