切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
二值命题逻辑中命题真度相同与逻辑等价的关系
二值命题逻辑中命题真度相同与逻辑等价的关系
来源 :西安文理学院学报:自然科学版 | 被引量 : 0次 | 上传用户:iamc66m
【摘 要】
:
王国俊提出了命题真度的概念,它与命题逻辑等价的概念不同,但它们之间具有一定的联系.文中通过在全体公式之集上引入某种等价关系,给出了二值命题逻辑中命题真度相同与逻辑等价的
【作 者】
:
王永安
王国俊
杨合俊
【机 构】
:
陕西师范大学数学与信息科学学院,西安文理学院数学系,长安大学理学院
【出 处】
:
西安文理学院学报:自然科学版
【发表日期】
:
2008年1期
【关键词】
:
命题真度
逻辑等价
二值命题逻辑
truth degrees of propositions
logical equivalence
【基金项目】
:
国家自然科学基金资助项目(NO.10331010)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
王国俊提出了命题真度的概念,它与命题逻辑等价的概念不同,但它们之间具有一定的联系.文中通过在全体公式之集上引入某种等价关系,给出了二值命题逻辑中命题真度相同与逻辑等价的关系.
其他文献
金丰公社全程土地托管模式落地信丰
“今年种地不用自己干活了,坐在家里就能收粮,因为我们这里有了金丰公社。”江西省信丰县古陂镇阳光村村民吴金华在5月17日举办的赣州市(信丰)2018年水稻机直播现场观摩演示会上
期刊
金华
托管模式
土地
现场观摩
操作模式
机直播
赣州市
信丰县
农披部种檀业管理司副司长陈友权:开创农药绿色发展与应用新局面
过去十年,中国农药发展与应用协会积极开展各项工作,一方面,积极宣传贯彻有关部门的管理措施,及时收集、反映会员单位和农药行业的呼声和意见,尤其在修订《农药管理条例》和制定配
期刊
《农药管理条例》
农药发展
绿色发展
应用
会员单位
农药行业
规章制度
管理部门
基于CC2420的ZigBee犯人劳作安全管理系统
Z igBee技术是近年来通信领域中的研究热点,具有低成本、低功耗、低速率、低复杂度的特点和高可靠性、组网简单、灵活的优势,被称为无线传感器网络的国际标准.鉴于犯人外出劳
期刊
射频
无线通信
CC2420
PIC18
radio-frequency
radio-communication
CC2420
PIC18
江西六国:生产中季稻用肥
“不栽立夏禾。”这是在江西农村广为流传的农事谚语,意思是说在立夏之前,一季稻的秧苗一定要栽插完成。初夏之际,江西市场一李稻用肥全面结束,复合肥企业在经过短暂检修调整之后
期刊
原料生产
一季稻
江西
检修调整
复合肥
原材料
氯化钾
立夏
玻璃螺旋面的制作及面型检测
用B270玻璃烧制出满足需要的螺旋基底,并对其进行检测.利用智能式烘箱设置合适的程序来控制玻璃的升温、恒温和降温,得到了合乎要求的玻璃螺旋面基底,并利用三坐标测量系统进
期刊
螺旋面
B270玻璃
三坐标测量机
helicoid
B270 glass
coordinate lnstrument
考虑两类消费对象的最优投资消费决策问题
研究了具有异常波动的金融市场中的最优投资消费问题,考虑投资者的消费对象同时包括可存品与非可存品的情况.首先建立了最优投资消费问题的随机控制模型,然后运用动态规划原理,对
期刊
异常波动
可存品
HJB方程
动态规划原理
abnormal fluctuation
durable goods
HJB equation
dynamic
陕甘新地区:霜冻影响销量 后市不容乐观
市场分析:当前正值玉米集中用肥期,相较于小麦肥来讲,今年玉米肥的销量较差,较往年减少了10%,原因是玉米价低,很多农民计划小麦收获后不种玉米,而是等到秋季再种植小麦。公司今年化肥
期刊
销量
霜冻
小麦收获
种植面积
市场分析
经济作物
玉米
农民
基于最优小波包基的信号去噪方法研究
改进了基于最优小波包基的信号去噪算法,该算法以小波包分析为基础,根据最小代价原理搜索信号分解的最优基,然后对高频和低频系数采用不同的阈值算法进行量化,用量化后的系数重构
期刊
小波包变换
最优小波包基
阈值
信号去噪
wavelet packet transform
best wavelet packet group
thresh
智能温控眼睛冲洗器的制作与应用
为了避免眼睛冲洗液温度不稳定,减少护士操作前加温、测温的重复工作,减轻病人对常规使用热水瓶或水壶时易爆易破的担心和惧怕,我们设计简易智能温控器并应用于临床,取得很好效果,现介绍如下。
期刊
智能温控眼睛冲洗器
眼科疾病
护理工作
制作方法
使用方法
当晚熟柑橘遇上国产好肥 湖北三宁化工取代进口第四季千县大行动暨中国种植之星评选活动在眉山举行
如果你现在到四川眉山转一转,放眼望去定是"一年好景君须记,最是橙黄橘绿时"。眉山地处四川盆地中部,冬季无霜期长、早春升温平稳,为柑橘越冬创造了得天独厚的条件,成为晚熟柑
期刊
柑橘
晚熟
评选活动
国产
种植
中国
进口
化工
与本文相关的学术论文