论文部分内容阅读
通过给出Godel系统中公式的伪真值函数的概念，得到了判断原子个数比较少的公式真度的一般方法．
Gdel逻辑系统中公式真度判断方法
【摘 要】
：
通过给出Godel系统中公式的伪真值函数的概念，得到了判断原子个数比较少的公式真度的一般方法．
【机 构】
：
聊城大学数学科学学院
【出 处】
：
聊城大学学报：自然科学版
【发表日期】
：
2011年1期
【基金项目】
：
基金项目：国家自然科学基金资助项目（60875034）,聊城大学基金项目（X081001）
其他文献
肠易激综合征(irritable bowel syndrome，IBS)是一组包括腹痛、腹胀，伴排便习惯和大便性状异常，持续存在或间歇发作，而又缺乏形态学和生化学指标异常的综合征。其发病机理不太明
儿童假性癫痫发作的原因很多，临床上极易与癫痫(EP)发作相混淆，为提高癫痫诊断的准确性，减少盲目应用抗癫痫药物，对35例有癫痫样发作的患儿同时进行视频脑电图的描记及外周血神经
D-二聚体是衡量血栓性疾病纤溶亢进的敏感指标。近年在风湿性疾病（如过敏性紫癜、系统性红斑狼疮）的应用逐渐增多，其价值得到临床肯定。但有关幼年型特发性关节炎与D-二聚体的关
胸腰椎骨折所致的外伤性截瘫，在日常生活中和交通事故中较为常见。由于长期卧床，大小便失禁，极易发生褥疮，影响治疗及预后。我们2002～2004年共收治胸腰椎骨折伴完全性截瘫病人22例
近年来，未产妇女因各种原因做人工流产术者增加，其宫颈管紧窄，影响手术操作，增加受术者的痛苦且易发生并发症，为此，我们采用人工流产术前进行心理指导，口服米索前列醇的方法，使宫颈软
一本来自中国,带有民间色彩的杂志,竟多次收到国际奥委会主席托马斯·巴赫、联合国教科文组织总干事伊琳娜·博科娃等人的贺信或称赞。这本杂志就是《文明》。自2001
急性有机磷杀虫药中毒是常见急症之一，一旦中毒病情进展迅速，如不积极实施抢救，可以在短时间内死亡。现将我院近2年来有机磷杀虫药中毒98例报告如下。
把推广的BCS-Eliashberg理论即声子一激子模型作为YBCO铜氧化物超导体的可能机制，采用McMiilan的能隙函数模型导出了Tc的表示式，初步探明了氧同位素指数βa的计算方法．以上理论
利用矩阵的Kronecker积和Hadamard积,得到了非奇异M-矩阵的若干结果.