三值R_0命题逻辑系统的随机化  

Randomization of R_0 3-valued Propositional Logic System

作　　者：惠小静[1] 

机构地区：[1]延安大学数学与计算机科学学院,延安716000

出　　处：《应用数学学报》2009年第1期19-27,共9页Acta Mathematicae Applicatae Sinica

基　　金：国家自然科学基金(10771129);陕西省教育厅专项基金(08JK497)资助项目.

摘　　要：利用赋值集的随机化方法,在三值R_0命题逻辑系统中提出了公式的随机真度和随机距离,建立了随机逻辑度量空间.指出当取均匀概率测度,且各概率测度均为1/3时,随机真度就转化为计量逻辑学中的真度,同时两公式间的随机距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间.By means of randomization, the concept of randomized truth degree and randomized logic pseudo-metric of formulas in R0 three-valued propositional logic 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.

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

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