论文部分内容阅读
以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论；证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元；在这种新语义理论中提出了公式的B-度实概念，研究了B-真度的基本性质。
经典命题逻辑的Boole语义理论
【摘 要】
：
以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论；证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元；在这种新语义理论中提出了公
【机 构】
：
青海民族学院数学系,西安高技术研究所
【出 处】
：
模糊系统与数学
【发表日期】
：
2007年2期
【基金项目】
：
国家自然科学基金资助项目（60272022）,青海民族学院博士科研项目
其他文献
会计委派制度是相关政府职能部门和国有资产管理部门以国有公司股东身份，依据股东权限委派会计人员代表政府和国有资产管理部门监督国有单位或集体企业资产经营和财务状况的一
会计学是一门实践技能很强的学科，如何提高学生的职业技能一直困扰着广大教师，也是近年来会计教学改革研究的焦点。而CBE是一种以能力培养为基础的教学模式，会计教学中借鉴CBE模
构成的形式法则应用于陶瓷壁画设计之中有着重要的现实意义.本文主要通过对构成形式美法则的分析、研究并结合陶瓷壁画设计,充分论述平面构成、立体构成、色彩构成、肌理效果
开发区作为城镇发展和土地利用的重点区域，在促进经济高速发展中发挥了举足轻重的作用，已经成为产业升级、区域发展的推动器和科技创新基地。然而，开发区在带来区域经济社会发展
目的观察与分析不同方法对功能性右房室瓣关闭不全（TR）的干预效果，以期了解术后右心功能恢复情况、缩短住院时间和提高术后生活质量。方法选取50例左心瓣膜手术患者为实验组并根