【摘 要】
：
<正> 连接法的基本思想是证明矩阵中每一条路径都是互补的,即至少含有一个互补文字对,如果所有的路径是互补的则矩阵是互补的。因而原始待证公式是有效的,在[1]中W.Bibel给出
论文部分内容阅读
<正> 连接法的基本思想是证明矩阵中每一条路径都是互补的,即至少含有一个互补文字对,如果所有的路径是互补的则矩阵是互补的。因而原始待证公式是有效的,在[1]中W.Bibel给出了一阶逻辑的规范矩阵算法,这个算法容易推广到任意矩阵中。 作者在[2]中提出了几条应用于规范矩阵连接法的简化规则,本文提出两条可用于任意矩阵连接法的简化规则,它们的使用使得连接证明中要测试的路径和子目标的个数减少,并保证了原来矩阵的互补性。这两条规则作为定理来叙述并加以证明。
其他文献
翘嘴鳜是鳜鱼中生长速度最快的品种．为了缩短养殖周期，降低生产成本，提高经济效益，笔者于2005年在沅江市黄茅洲镇金南渔场主持了翘嘴鳜苗池塘当年养成商品鱼的试验，现将试验情况综
遵守《中华人民共和国农产品质量安全法》、《中华人民共和国动物防疫法》、《中华人民共和国畜牧法》、《兽药管理条例》、《种畜禽管理条例》、《江苏省动物防疫条例》等有
安徽将立足区位优势，组合各种资源，按照规模化、大型化、一体化、基地化、现代化和集约化的原则，在沿淮经济带上打造现代煤化工基地。安徽不仅有丰富的煤炭，还有原盐、石英砂、硅
水资源、生态环境和经济社会的平衡发展,不仅是国际水科学的研究热点,也是我国水资源管理亟待解决的现实问题。水资源整体管控是面向水资源—生态环境—经济社会复合系统整体
链球菌病是主要由β溶血性链球菌引起的多种人畜共患病的总称。可引起人类的胸膜炎、败血症等,导致严重疾患,甚至死亡[1]。巴氏杆菌病是一种由多杀性巴氏杆菌引起多种畜禽、
壳聚糖的功能化改性及其生物医学等领域的应用是近年来备受人们关注的重要研究方向。文章研究了TEMPO-NaOCl-NaBr体系对不同形态壳聚糖的氧化过程及其产物的结构表征。发现Na
通过对湖北省农村饮水安全工程建设管理基本情况开展的全面调查和典型调查,分析了农村饮水安全工程管护体制机制方面存在的主要问题及原因,提出了应加大中央和省级对农村饮水
笔者对仪化聚酯生产中预缩聚反应器气相出口管出现“鼓泡”现象进行了分析和探讨,通过定量分析探讨这一现象的成因,确定了科学合理的处理措施,解决了问题,为聚酯检修中类似情
1995年．几个年轻的白领，毅然放弃外企的优厚待遇，在江西南昌这块红色的土地上，为中国民族饲料工业了点燃了一簇星星之火，11年后．当年的点点星火已经成为一颗耀眼的明星，升腾在中国饲
2015年11月15日,瓮福（集团）有限责任公司年产5万吨黄磷节能环保磷电化一体化项目在贵州省瓮安县开工。瓮安现已探明磷矿36亿吨,占全国五分之一,矿产品位较高,开发前景较好。该