论文部分内容阅读
在命题逻辑中,据主范式可以体现命题公式的本质的特点,将其应用在判断推理正确性的问题中,给出了利用A→B的主范式、A和B的主范式判别推理AB正确性的多种方法。
几类主范式在命题推理正确性判断中的应用
【摘 要】
：
在命题逻辑中,据主范式可以体现命题公式的本质的特点,将其应用在判断推理正确性的问题中,给出了利用A→B的主范式、A和B的主范式判别推理AB正确性的多种方法。
【机 构】
：
安康学院数学与统计系
【出 处】
：
安康学院学报
【发表日期】
：
2013年03期
【基金项目】
：
安康学院《离散数学》精品课建设项目
其他文献
RS10/ERP成本管理系统已在南车眉山车辆有限公司、南车石家庄车辆有限公司、南车戚墅堰机车有限公司、南车长江车辆有限公司下属武汉分公司、常州分公司等多家企业成功应用,
初中数学教学着重强调对学生的逻辑推理能力以及学生的逻辑思维能力的训练与培养,运用情境教学,不仅能够有效激发学生的数学学习兴趣,还能够帮助学生深入理解数学的相关概念,
肠道共生白念珠菌是人体感染白念珠菌的重要来源。白念珠菌口胃接种到药物处理的成年小鼠,造成白念珠菌胃肠道定植和肠源性感染。此模型可以更加贴切地模拟白念珠菌人体胃肠
膏方是中医药常用剂型之一,本文总结四川省第五批老中医药专家学术经验继承导师谢萍教授应用膏方有三因制宜、辨证论治,调补脏腑、尤重肝脏,动静结合、补而勿治等特点,同时附
目的:探讨PDCA循环在癌痛规范化治疗病房中的应用效果。方法:选取68例癌痛患者,根据就诊顺序分为对照组和观察组各34例。对照组实施癌痛常规护理,观察组在癌痛常规护理的基础
水利工程是国家经济发展的基础,也是农业生产的保障。水利工程项目在实施过程中渠道施工是重要环节,虽然水利工程施工技术在进步,但是渠道治理过程仍存在一定问题。本文主要
屡禁不止：乱涨价乱收费知多少———海南价格违法现象透视●邓新生近几年来，海南省各级政府对人们深恶痛绝、满口微词的乱涨价、乱收费的治理采取了一系列措施，取得了一定的成效
从早期的民族志影像拍摄到如今的数字化技术介入文化遗产的保护,人类遗产保护的影像化传播走过了一段漫长的岁月。不同形式的文化遗产构成的藏地文化景观正在面临一个变迁的
<正> 笔者自1997年5月以肝脾同治为原则,采用养阴柔肝、健脾和胃法治疗小儿目箚症75例,取得满意疗效,并与常规两药治疗作比较,现报道如下。1 临床资料 观察病例共115例,均系
随着城市化建设步伐的加快,各项社会主义事业得以蓬勃发展。然而,过分强调生产建设导致生活和生态空间被严重挤压,优质耕地资源流失、生态环境破坏等问题层出不穷,引发了全社