二值命题逻辑中命题真度相同与逻辑等价的关系

来源 :西安文理学院学报:自然科学版 | 被引量 : 0次 | 上传用户:iamc66m
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
王国俊提出了命题真度的概念,它与命题逻辑等价的概念不同,但它们之间具有一定的联系.文中通过在全体公式之集上引入某种等价关系,给出了二值命题逻辑中命题真度相同与逻辑等价的关系.
其他文献
“今年种地不用自己干活了,坐在家里就能收粮,因为我们这里有了金丰公社。”江西省信丰县古陂镇阳光村村民吴金华在5月17日举办的赣州市(信丰)2018年水稻机直播现场观摩演示会上
过去十年,中国农药发展与应用协会积极开展各项工作,一方面,积极宣传贯彻有关部门的管理措施,及时收集、反映会员单位和农药行业的呼声和意见,尤其在修订《农药管理条例》和制定配
Z igBee技术是近年来通信领域中的研究热点,具有低成本、低功耗、低速率、低复杂度的特点和高可靠性、组网简单、灵活的优势,被称为无线传感器网络的国际标准.鉴于犯人外出劳
“不栽立夏禾。”这是在江西农村广为流传的农事谚语,意思是说在立夏之前,一季稻的秧苗一定要栽插完成。初夏之际,江西市场一李稻用肥全面结束,复合肥企业在经过短暂检修调整之后
用B270玻璃烧制出满足需要的螺旋基底,并对其进行检测.利用智能式烘箱设置合适的程序来控制玻璃的升温、恒温和降温,得到了合乎要求的玻璃螺旋面基底,并利用三坐标测量系统进
研究了具有异常波动的金融市场中的最优投资消费问题,考虑投资者的消费对象同时包括可存品与非可存品的情况.首先建立了最优投资消费问题的随机控制模型,然后运用动态规划原理,对
市场分析:当前正值玉米集中用肥期,相较于小麦肥来讲,今年玉米肥的销量较差,较往年减少了10%,原因是玉米价低,很多农民计划小麦收获后不种玉米,而是等到秋季再种植小麦。公司今年化肥
改进了基于最优小波包基的信号去噪算法,该算法以小波包分析为基础,根据最小代价原理搜索信号分解的最优基,然后对高频和低频系数采用不同的阈值算法进行量化,用量化后的系数重构
为了避免眼睛冲洗液温度不稳定,减少护士操作前加温、测温的重复工作,减轻病人对常规使用热水瓶或水壶时易爆易破的担心和惧怕,我们设计简易智能温控器并应用于临床,取得很好效果,现介绍如下。
如果你现在到四川眉山转一转,放眼望去定是"一年好景君须记,最是橙黄橘绿时"。眉山地处四川盆地中部,冬季无霜期长、早春升温平稳,为柑橘越冬创造了得天独厚的条件,成为晚熟柑