| 几个三值命题逻辑系统中命题真度的分布 |
| |
| 引用本文： | 茹永梅,王国俊.几个三值命题逻辑系统中命题真度的分布[J].陕西师范大学学报,2005,33(4):6-10. |
| |
| 作者姓名： | 茹永梅 王国俊 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西西安710062 |
| |
| 基金项目： | 国家自然科学基金重点资助项目(10331010) |
| |
| 摘 要： | 利用势为3的均匀概率空间的无穷乘积在W3、G3、П3及S3系统中引入了公式的真度概念，得到了命题真度分布的一些性质，同时给出了三值真度推理规则．证明了以上各系统中的全体公式的真度值之集在0，1]上是稠密的，并给出了其中公式真度的表达通式，即若A∈F（S），则τ（A）=k/3^n（n=1,2,…，k=0,1,…,3^n）．此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础，并且使W3，G3，П3及S3系统中公式的真度有了统一的理论体系．
|
| 关 键 词： | 数理逻辑 真度 三值真度推理规则 三值逻辑测度 稠密 |
| 文章编号： | 1672-4291(2005)04-0006-05 |
| 修稿时间： | 2005年1月18日 |
Distribution of propositional truth degree in some 3-value propositional logic systems |
| |
| RU Yong-mei,WANG Guo-jun.Distribution of propositional truth degree in some 3-value propositional logic systems[J].Journal of Shaanxi Normal University: Nat Sci Ed,2005,33(4):6-10. |
| |
| Authors: | RU Yong-mei WANG Guo-jun |
| |
| Abstract: | |
| |
| Keywords: | mathematical logic truth degree 3-value truth degree inferential rule 3-value logic measure dense |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
