n值 Lukasiewicz 命题逻辑系统中公式的矛盾度理论
On Theory of Controdicition Degree in n-Valued Lukasiewicz Proposition Logic System
-
摘要: 在 n值L ukasiew icz命题逻辑系统中运用公式的矛盾度概念，讨论了公式矛盾度的部分重要性质，给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则，进而讨论了矛盾度与推理规则之间的关系。
-
关键词:
- 计量逻辑学 /
- Lukasiewicz命题逻辑 /
- 矛盾度 /
- 推理规则
Abstract: Some important properties of contradiction degrees are discussed by the concept of contradiction degree in n‐valued Lukasiewicz proposition logic system .Moreover ,the relationship between inference rules and contradic‐tion degrees is discussed ,and the consequence about the union inference rule of contradiction degrees is also ob‐tained in Lukasiewicz proposition logic system . -
-
计量
- 文章访问数: 581
- HTML全文浏览数: 250
- PDF下载数: 0
- 施引文献: 0
下载: