摘要
给出了n值R0-命题逻辑系统L*n中一个更为直观的矛盾度定义的等价形式,利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明,并得到了矛盾度的对称性定理.
An intuitionistic equivalent form of the definition of controdicition degrees in n-valued Ro-propositional logic system Ln^* is given,and the proofs of some important properties of controd- icition degreees are simplified through the equivalent form of definiton. Moreover, the symmetri- cal characteristic of controdicition degrees is obtained.
出处
《云南师范大学学报(自然科学版)》
2015年第3期36-40,共5页
Journal of Yunnan Normal University:Natural Sciences Edition
基金
国家自然科学基金资助项目(11471007)
陕西省自然科学基金资助项目(2014JM1020)
陕西省科技计划资助项目(2014ks15-03-07)
陕西省高水平大学建设专项资金资助项目(2012SXTS07)
关键词
计量逻辑学
R0-命题逻辑系统
矛盾度
等价形式
对称性定理
Quantitative logic
Ro-proposition logic
Controdicition degree
Equivalent definition
Symmetry theorem