论文部分内容阅读
给出了利用主析取范式、主合取范式判别推理有效性的两种方法,指出了由前提的主合取范式析取任何命题公式所得新公式均为前提的有效结论.
主范式在推理有效性判断中的应用
【摘 要】
：
给出了利用主析取范式、主合取范式判别推理有效性的两种方法,指出了由前提的主合取范式析取任何命题公式所得新公式均为前提的有效结论.
【机 构】
：
安康学院数学系
【出 处】
：
安康学院学报
【发表日期】
：
2011年03期
【基金项目】
：
安康学院《离散数学》精品课建设项目
其他文献
目的：观察扶正固本中药汤剂对局部晚期宫颈癌同步放化疗患者的增效减毒作用及对免疫功能的影响。方法：选取2013年1月至2016年1月渭南市妇幼保健院诊治的局部晚期宫颈癌患者81例
<正>新一轮科技革命和产业变革正在孕育兴起,互联网成为当今时代创新最活跃、渗透最广泛、影响最深远的领域,以跨界融合为特征的"互联网+"时代已经到来,"互联网+制造业"日益
通过收集资料和实地调研,分析了＂国八条＂对雅安餐饮行为的影响并提出了对策建议。研究发现：＂国八条＂对雅安中、高端餐饮企业冲击大,对低端餐饮企业冲击相对较小;中、高端餐饮总体
《数学课程标准》强调：“要让学生在现实的情境中和已有知识的基础上体验和理解数学知识。”于是越来越多的教师重视“情境的创设”，不管是计算课、概念课、应用题课还是实践活
本文叙述了采用分光光度法测定化汝品中维生素原Ｂ＿５的方法，并对部分产品进行了实例测定。该法操作简便，方法的标准偏差小于０．０２，回收率达９８．０％以上。
从白话及其建构的文学作品语言入手,我们重读晚清白话文运动中颇具影响的白话报刊——《安徽俗话报》,发现其使用的报刊语言是一种基于口语系统的白话,其文学创作在语言形式
目的利用组织芯片技术探讨巨噬细胞移动抑制因子(MIF)和细胞外基质金属蛋白酶诱导因子(CD147)在非小细胞肺癌(NSCLC)及其淋巴结转移灶中的表达和意义。方法采用免疫组织化学S
中国政府十分重视城市环境治理,经过若干年多方面的努力,已取得了明显成效,但目前仍然存在许多问题。因此,需要采取切实有效的创新措施,以改善城市环境质量,促进经济社会的全
本文介绍一种新型的煤矿井下低压电网选择性漏电保护装置,它的动作速度快、选择性好、灵敏度高、抗干扰能力强、动作特性较稳定。是我国煤矿井下低压供电系统急待解决课题。
晚清时期朝鲜移民大量"犯越"图们江,移居中、俄境内,主要原因是朝鲜咸镜北道一带连年发生自然灾害和朝鲜李朝势道政治的横行,而朝鲜李朝传统上对咸镜道居民实行的歧视政策也