论文部分内容阅读
本文介绍了一组判定换质位推理是否正确的新规则,并对这一组规则的完备性和可靠性作了严格的证明。至此人们就可在实际推理中运用这一组规则来判定一个换质位推理是否正确。
对一组换质位推理规则完备性和可靠性的证明
【摘 要】
：
本文介绍了一组判定换质位推理是否正确的新规则,并对这一组规则的完备性和可靠性作了严格的证明。至此人们就可在实际推理中运用这一组规则来判定一个换质位推理是否正确。
【出 处】
：
重庆工商大学学报：社会科学版
【发表日期】
：
1993年3期
其他文献
很多单位的财务报表系统与办公自动化系统都是在不同的时期建设的.有的单位是先建立财务报表系统,再建立办公自动化系统,有的单位则可能相反.况且,即使同期建设,也可能因采用
近几年来,本地栽培的美国强德勒红心柚销售不畅,2013年针对遴选的科技示范户李兴梅的24株1492个强德勒红心柚进行果实大小、果皮果肉组成等相关质量分析,其平均柚果重量只有8
电压仪表准确度等级有两种标法，例如1.5级电压表一种标法是“1.5”，另一种是“1．5”，有些教材将两者混淆起来，其实这两种标法含义是不同的。
目标企业价值评估是确定并购价格的基础。本文在评价传统目标企业价值评估方法的基础上，对并购的期权特性进行了分析，提出了适应我国目前并购市场需要的实物期权定价法，并结合案
甜橘柚（Sweet spring）由浙江省丽水市农科所于1998年以接穗引入丽水市庆元县,该品种为八朔柑（Citrus hassaku Hort.ex Tanaka）与山田温州蜜柑（C.unshiu Marc.）杂交育成,属晚熟品种,
经过十多年中小学阶段的基础学习．众多学子通过高考进入各种层次的高等院校深造．从此，各类专业学习成为大学生们学习生活的核心，除了文学专业的学生有专门的写作概论课及各类文学
全时四轮驱动的车辆能够将发动机的动力持续和适当地分配给所有的四个车轮，因此没有驱动轮与从动轮之分，四个车轮都是驱动轮。它不尽能保证车辆在干燥的路面上更好地行驶，而且能