R_0型命题逻辑系统的随机化  

Randomization of R_0 Propositional Logic System

作　　者：李修清[1] 朱宁[2] 

机构地区：[1]桂林航天工业高等专科学校计算机系,广西桂林541004 [2]桂林电子科技大学计算科学与数学学院,广西桂林541004

出　　处：《模糊系统与数学》2013年第1期63-70,共8页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(71001015)

摘　　要：利用赋值集的随机化方法,在R0型n值命题逻辑系统和R0型模糊命题逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间。指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,从而建立了更一般的随机逻辑度量空间。By means of randomization, the concept of randomized truth degree and randomized logic pseudo-metric of formulas in R0 n-valued Propositional logical system and R0 fuzzy Propositional logical system are introduced. The concept of randomized logic metric space is also introduced and it is proved that the new built randomized concepts are extensions of the corresponding concepts in quantified logic.

关 键 词：随机序列 随机真度 随机逻辑度量空间 

分 类 号：O141[理学—数学]