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.
英
美
- 摘要利用赋值集的随机化方法,在三值R0命题逻辑系统中提出了公式的随机真度和随机距离,建立了随机逻辑度量空间。