-
题名二值命题逻辑系统的不可靠度及F度累积定理
- 1
-
-
作者
惠小静
郑凤仙
任潘龙
高青青
-
机构
延安大学数学与计算机科学学院
-
出处
《山东大学学报（工学版）》
CAS
北大核心
2013年第2期101-104,110,共5页
-
基金
陕西省教育厅专项基金资助项目(11JK0481)
延安大学自然科学专项基金资助项目(YDZ2012-05)
+1 种基金
陕西省高水平大学建设专项基金资助项目(2012SXTS06)
国家大学生创新训练计划资助项目
-
文摘
本研究在二值命题逻辑系统中提出了与随机真度相对应的F度,根据演绎定理证明了F度累积定理,即有效推理结论的F度不超过其各前提的F度之和,从而通过F度累积定理给出了推理前提与结论的真度关系。最后把F度累积定理与概率逻辑学不可靠度累积定理作比较,说明了F度累积定理与不可靠度累积定理是两种不同的表现形式。
-
关键词
二值命题逻辑系统
有效推理
概率
随机真度
F度
-
Keywords
two-valued propositional logic system
valid reasoning
probability
randomized truth degree
falsity degree
-
分类号
O141
[理学—基础数学]
-
-
题名二值命题逻辑中的极大命题集与完备命题集
- 2
-
-
作者
任燕
王洪涛
-
机构
河南理工大学
-
出处
《模糊系统与数学》
CSCD
北大核心
2009年第3期112-114,共3页
-
基金
河南理工大学青年骨干教师资助项目(649070)
-
文摘
系统讨论了二值命题逻辑系统中极大命题集与完备命题集,给出了两种命题集的等价描述和表示定理,揭示了极大命题集和完备命题集的深刻内涵和联系。
-
关键词
二值命题逻辑系统
极大命题集
完备命题集
模型
-
Keywords
The Classical Logical System
Maximal Proposional Sets
Complete Proposional Sets
Mode
-
分类号
O142
[理学—基础数学]
-
-
题名根与F(S)中的近似推理
被引量：33
- 3
-
-
作者
于鹏
王国俊
-
机构
陕西师范大学数学与信息科学学院
-
出处
《自然科学进展》
北大核心
2006年第8期1028-1032,共5页
-
基金
国家自然科学基金重点项目资助(批准号:10331010)
-
文摘
基于一组公式集的根的理论与公式的真度理论,讨论了二值命题逻辑系统L,Fuzzy命题逻辑系统L*中根与命题集的发散度、相容度之间的内在联系,重点论述了其在F(S)的近似推理误差分析中所起的作用．
-
关键词
二值命题逻辑系统L
逻辑系统L^＊
根
发散度
相容度
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
O141
[理学—基础数学]
-
