| 经典命题逻辑的Boole语义理论 |
| |
| 引用本文： | 傅丽,宋建社.经典命题逻辑的Boole语义理论[J].模糊系统与数学,2007,21(2):46-52. |
| |
| 作者姓名： | 傅丽 宋建社 |
| |
| 作者单位： | 1. 青海民族学院,数学系,青海,西宁,810000
2. 西安高技术研究所,陕西,西安,710025 |
| |
| 基金项目： | 国家自然科学基金
,
青海民族学院博士科研项目 |
| |
| 摘 要： | 以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论;证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元;在这种新语义理论中提出了公式的B-度实概念,研究了B-真度的基本性质。
|
| 关 键 词： | 有限Boole代表 B-赋值 B-真度 |
| 文章编号： | 1001-7402（2007）02-0046-07 |
| 收稿时间： | 2005-12-06 |
| 修稿时间： | 2005年12月6日 |
Theory of Boolean Semantics of Classical Prepositional Logic |
| |
| FU Li,SONG Jian-she.Theory of Boolean Semantics of Classical Prepositional Logic[J].Fuzzy Systems and Mathematics,2007,21(2):46-52. |
| |
| Authors: | FU Li SONG Jian-she |
| |
| Abstract: | The present paper proposes a new theory of finite Boolean semantics of classical prepositional logic,and proves that a formula is a tautology iff every valuation of the formula equals the largest element of the Boolean algebra.The concept of B-truth degree of formulas is introduced and several elementary properties of B-truth degrees are obtained. |
| |
| Keywords: | Boolean Semantics B-valuation B-truth Degree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
