n值Lukasiewicz命题逻辑系统中公式的绝对真度理论

Absolute truth degree theory of formulas in n-valued Lukasiewicz propositional logic system

在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.

By means of the function induced bya logic formula A, a concept of absolute truth of the latter in n-valued Lukasiewicz propositional logic was introduced when the infinite product measure in uniformly distributed probability spaces was evaded. Also the absolute similarity degree and pseudo-distance between two formulas were defined by using the absolute truth, and their properties were discussed. It was proved that operations such as ,→,∧,∨ were continuous in the pseudo-distance space.