摘要
以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论;证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元;在这种新语义理论中提出了公式的B-度实概念,研究了B-真度的基本性质。
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.
出处
《模糊系统与数学》
CSCD
北大核心
2007年第2期46-52,共7页
Fuzzy Systems and Mathematics
基金
国家自然科学基金资助项目(60272022)
青海民族学院博士科研项目
