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

• 作者: 王国俊 高香妮
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 理论的真度 相容度 发散度 有限 可数
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 1-6
• 页数: 6页
• 分类号: O141.1
• 字数: 5388字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
5	高香妮	陕西师范大学数学与信息科学学院	4	23	3.0	4.0