论文部分内容阅读
中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词(?)的意义,在MP的赋值定义中,对命题形式补充如下定义:
中介逻辑命题演算扩张系统MP^＊的完备性
【摘 要】
：
中介命题演算扩张系统MP~*,是在中介命题演算系统MP中增加了一条命题的原始联结词“(?)”而构成的。因此,关于MP~*的完备性,只需在MP的完备性结果上继续讨论。根据原始联结词
【机 构】
：
贵州省兴义师专数学系
【出 处】
：
应用数学
【发表日期】
：
1989年2期
【基金项目】
：
贵州省科学基金
其他文献
自从50年代初以来，人工全膝关节置换术（total knee arthroplasty，TKA）日益增多。随着假体设计的改进和外科手术技术的提高，术后结果优良率也增加。当然，合并症也象其他手术一样，是一
骨性关节炎的特征表现是关节软骨的进行性退变。实验研究和临床观察证实，完整的关节软骨形态取决于软骨下骨的转化、正常的软骨细胞功能和基本的生物力学刺激㈦。鉴于软骨下骨
[目的]评价下颈椎骨折脱位前后路联合手术治疗的I临床疗效。[方法]采用前后路联合手术治疗下颈椎骨折脱位合并脊髓损伤36例，随访12-21个月，平均17个月，定期x线片观察损伤节段的
[目的]探讨进钉点到棘突中心矢状面的垂直距离用于椎弓根螺钉个体化植入的可行性。[方法]于华中科技大学同济医学院解剖教研室收集成人脊柱标本30例，在CT横断面扫描图像上测量
Pilon骨折是指累积胫骨下关节面的胫骨下端骨折。法国放射学家Destot于1911年首次提出，在法语中“Pilon”的意思是“杵”（pestle）。这一骨折的特点：胫骨远端具有典型的不同程度的
本文通过引入爆破因子k(u,ū),讨论了非线性schrūdinger方程u_t+iΔu=f(u,▽u)的混合问题解的爆破性质。更多还原
关于自由边界,目前人们主要讨论一个障碍的问题,研究自由边界的确定和正规性。本文应用Lions的奇异摄动方法,讨论两个障碍的问题,研究自由边界之间的摄动关系和误差估计。
<正> 大家知道,经典的Sine-Gordon方程有无穷多个守恒律。在[3]中我们研究了带非均匀项Sine-Gordon方程 uxt=sinu+a（xux）x（a为参数） （1）的孤子解。方程（1）与Sine-Gordon方程不同,特征
下腰痛是困惑人类的常见疾病，能做出正确诊断及治疗的仅占15％，椎间盘源性下腰痛（discogenic low back pain）首先由Crock描述，是指单纯椎间盘的病变刺激椎间盘疼痛感受器引起的功能
用电位滴定法对２，６－双（苦氨基）－３，５－二硝基吡啶（ＰＹＸ）标准物质的纯度进行测定。ＰＹＸ用二甲基甲酰胺溶解，以四甲基氢氧化铵的二甲基酰胺溶液为滴定剂。该方法的回收率和变异系数分别为１００．０％和０．１３％。