切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
经典命题逻辑的Boole语义理论
经典命题逻辑的Boole语义理论
来源 :模糊系统与数学 | 被引量 : 0次 | 上传用户:shaodongjia1668
【摘 要】
:
以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论;证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元;在这种新语义理论中提出了公
【作 者】
:
傅丽
宋建社
【机 构】
:
青海民族学院数学系,西安高技术研究所
【出 处】
:
模糊系统与数学
【发表日期】
:
2007年2期
【关键词】
:
有限Boole代表
B-赋值
B-真度
Boolean Semantics B-valuation B-truth Degree
【基金项目】
:
国家自然科学基金资助项目(60272022),青海民族学院博士科研项目
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以有限Boole代数作为赋值域建立了经典命题逻辑的一种新的语义理论;证明了命题逻辑公式为重言式当且仅当该命题的每个赋值都等于Boole代数的最大元;在这种新语义理论中提出了公式的B-度实概念,研究了B-真度的基本性质。
其他文献
会计委派制存在的问题及对策分析
会计委派制度是相关政府职能部门和国有资产管理部门以国有公司股东身份,依据股东权限委派会计人员代表政府和国有资产管理部门监督国有单位或集体企业资产经营和财务状况的一
期刊
会计委派制度
国有资产管理部门
政府职能部门
委派会计人员
国有资产改革
市场经济条件
股东身份
国有公司
借鉴CBE模式进行会计教学中的具体应用
会计学是一门实践技能很强的学科,如何提高学生的职业技能一直困扰着广大教师,也是近年来会计教学改革研究的焦点。而CBE是一种以能力培养为基础的教学模式,会计教学中借鉴CBE模
期刊
CBE模式
会计教学
职业能力
实践
构成的形式法则与陶瓷壁画设计
构成的形式法则应用于陶瓷壁画设计之中有着重要的现实意义.本文主要通过对构成形式美法则的分析、研究并结合陶瓷壁画设计,充分论述平面构成、立体构成、色彩构成、肌理效果
期刊
构成
形式法则
陶瓷壁画
设计
公务员职业道德教育理论初探
公务员职业道德教育对加强整个社会道德建设具有十分重要的意义。从分析这一教育的基本特点出发,我们将这一教育的培养目标区分为遵纪守法型、诚信慎独型和大公无私型三类,并初
期刊
公务员
职业道德教育
教育理论
遵纪守法型
诚信慎独型
大公无私型
警惕这样的“英雄”——《三国演义》批判
中国文学中最不可信的、危害最大的就是英雄形象的描写。他们不单是虚假,而且还承担着种种与人类精神健康背道而驰的精神毒素。《三国演义》中的“英雄”,他的“义”中、他的“
期刊
《三国演义》
英雄形象
古代小说
人物塑造
道德品质
阵发性心房纤颤患者发病原因及动态心电图分析
目的探讨心房纤颤患者的发病原因及动态心电图特点。方法回顾性分析32例阵发性心房纤颤患者的临床资料及动态心电图特点。结果 32例患者中器质性心脏病31例;有频发房性早搏及
期刊
心房颤动
发病原因
心电描记术
步长脑心通治疗脑卒中后遗症的疗效观察
随着人们生活水平的提高,人们饮食结构发生了改变,饮食中摄入过量的饱和脂肪酸和胆固醇,以及体力活动的减少,吸烟饮酒肥胖高血压和精神因素等,使得脑卒中发病率逐年上升,脑卒中是近
期刊
步长脑心通
脑卒中
后遗症
基于层次模糊综合评判法的开发区土地集约利用评价研究
开发区作为城镇发展和土地利用的重点区域,在促进经济高速发展中发挥了举足轻重的作用,已经成为产业升级、区域发展的推动器和科技创新基地。然而,开发区在带来区域经济社会发展
期刊
土地集约利用
开发区用地
模糊综合评判法
区域经济社会发展
经济社会可持续发展
资源节约型社会
评价
经济高速发展
功能性右房室瓣关闭不全早期干预的疗效观察
目的观察与分析不同方法对功能性右房室瓣关闭不全(TR)的干预效果,以期了解术后右心功能恢复情况、缩短住院时间和提高术后生活质量。方法选取50例左心瓣膜手术患者为实验组并根
期刊
功能性右房室瓣
关闭不全
效果
分析
最美图书与资本美学
一近些年,伴随各种"最美图书"评选活动及媒体相关报道,"最美图书"日渐成为值得关注的文化现象。回溯其历史发展,早在1929年,德国就设立了"德国最美图书奖"(Die schnsten deutschen
期刊
图书奖
图书设计
经典化
与本文相关的学术论文