【摘 要】
：
对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便.现在中介命题系统MP推理规则集S的简化等价集S1已经建立,其中S1共有14条推理规则,如果这些推理规则
论文部分内容阅读
对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便.现在中介命题系统MP推理规则集S的简化等价集S1已经建立,其中S1共有14条推理规则,如果这些推理规则中有一条可以由S1的其余推理规则推导出来,那么它就是不独立的,可以将其删去而不影响形式系统S1的效力,从而得到形式上更为简洁的系统.为此目的笔者利用值模型法对形式系统S1的每条推理规则的独立性一一进行了探讨,发现一条不独立的规则,并且证明了其余每条推理规则都独立于其余推理规则.
其他文献
目的利用基因重组技术体外表达血小板糖蛋白Ⅵ(GPⅥ)胞外区片段.方法采用PCR方法扩增GPⅥ胞外区片段cDNA,构建表达载体pET-20b(+)-GPⅥ,转化大肠杆菌BL21(DE3)pLysS,经IPTG诱
外侧裂区脑挫伤是闭合性颅脑损伤中的一种严重脑损伤,治疗上目前仍存在不同观点.这类患者的伤情变化较大,继发性颅内压增高的发生和发展常极为迅速,给治疗带来了困难.1996年9
利用Ｌｉａｐｕｎｏｖ直接方法得到了一个判别部分变元全局渐近稳定性的定理。
与经典拓扑线性空间的理论相比，Ｆｕｚｚｙ拓扑线性空间理论中的许多问题还有待进一步研究。这篇文章将采用文献（１）中的模糊拓扑空间的定义及相关的理论对Ｆ桶空间作深入的讨论。首先给出Ｆ桶空
目的研究辐射对人脐静脉内皮细胞系ECV-304生物学特性的影响,探讨放射性皮肤烧伤的愈合机制.方法倒置显微镜观察不同剂量辐射下ECV-304细胞形态学的变化;3H-TdR掺入法和CB法
目的研究P-、L-选择素在鼠局灶性脑缺血再灌注后的表达规律,探讨P-、L-选择素在脑缺血再灌注损伤中的作用.方法 72只雄性SD鼠随机分为假手术组和脑缺血2 h再灌注2 h、3 h、4