| Lukasiewicz命题逻辑系统中真度的等价定义及相关性质 |
| |
| 引用本文： | 周建仁,吴洪博. Lukasiewicz命题逻辑系统中真度的等价定义及相关性质[J]. 工程数学学报, 2013, 30(4): 580-590 |
| |
| 作者姓名： | 周建仁 吴洪博 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,西安,710062 |
| |
| 基金项目： | 国家自然科学基金，The National Natural Science Foundation of China |
| |
| 摘 要： | 对Lukasiewicz命题逻辑系统中的公式真度理论进行了研究.首先,给出了Lukasiewiczn值命题逻辑系统中一个更为直观的真度定义的等价形式;其次,利用真度定义的等价形式简化了连接Lukasiewiczn值命题逻辑系统和Lukasiewicz连续值命题逻辑系统中真度理论的极限定理的证明;第三,得到了真度性质:在Lukasiewicz逻辑系统中,把命题公式中的原子命题与该原子命题的否定互换,公式的真度不变;第四,讨论了真度与推理规则之间的关系,给出了Lukasiewicz命题逻辑系统中真度与MP规则的精确关系式以及关于真度并推理规则的结果.
|
| 关 键 词： | 计量逻辑学 Lukasiewicz命题逻辑 真度定义 等价形式 推理规则 |
An Equivalent Definition and Some Properties of Truth Degrees in Lukasiewicz Proposition Logic System |
| |
| ZHOU Jian-ren , WU Hong-bo. An Equivalent Definition and Some Properties of Truth Degrees in Lukasiewicz Proposition Logic System[J]. Chinese Journal of Engineering Mathematics, 2013, 30(4): 580-590 |
| |
| Authors: | ZHOU Jian-ren WU Hong-bo |
| |
| Affiliation: | (College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062) |
| |
| Abstract: | |
| |
| Keywords: | quantitative logic Lukasiewicz proposition Logic truth degree equivalent definition inference rule |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
