论文部分内容阅读
逻辑定理有2种证明方法：逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理，提出一种新的证明方法：在互逆主义逻辑的全抽象事实空间用二层显式归纳复合方法来证明，这种方法形象、直观。
全抽象事实空间中的单逻辑定理证明
【摘 要】
：
逻辑定理有2种证明方法：逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理，提出一种新的证明方法：在互逆主义逻辑的全抽象事实空间用二层显式归纳复合方法来证明，
【机 构】
：
北京联合大学信息技术研究所
【出 处】
：
北京联合大学学报：自然科学版
【发表日期】
：
2007年3期
其他文献
基于可压缩Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程，采用Ｂｅａｍ－Ｗａｒｍｉｎｇ矢通量分裂格式以及ｖａｎ Ｌｅｅｒ的矢通量分裂方法，分别通过Ｊｏｈｎｓｏｎ－Ｋｉｎｇ及Ｂａｌｄｗｉｎ－Ｌｏｍａｘ湍流模型对亚音速和超音速的后台阶流进行了计算，计算结果与实验符合较好。
Abstract [Objective] The aim was to research the spatial variability of salts＇ ions in soils of oases of Weigan River-Kuqa River to explore spatial correlation a
2007年11月，北京市教育委员会发文公布了“2007年北京高等教育精品教材建设立项项目目录”评审结果（京教函[2007]634号），北京联合大学有12个项目获准立项。
目的观察血府逐淤汤联合干扰素对慢性乙型肝炎肝硬化患者肝纤维化及门静脉血流动力学的影响。方法 64例慢性乙型肝炎肝硬化患者分为2组,每组32例。观察组患者给予血府逐淤汤
妥善保存能源和原材料,消除有毒物质和削减工艺产品中产生的污染物,降低排放到大气、土壤和水的污染物数量,从而提高经济效益和能源效率,大力发展清洁生产与能源效率一体化。
为增强《巴蜀史志》的文化内涵，丰富读者的阅读体验，创新版面的视觉设计，《巴蜀史志》自2018年第4期起全新改版。中国书法家协会原副主席、四川省书法家协会原主席、中国书法家
从介绍绿色壁垒的成因出发,分析了绿色壁垒对中国农产品出口的巨大影响,反思我国农产品质量安全曾经存在的问题,并就近年来农产品质量的进步进行了分析,认为我国的产品质量是