论文部分内容阅读
对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３个命题演算公理系统的独立性。
关于命题演算公理系统独立性证明的注记
【摘 要】
：
对数理逻辑中命题逻辑公理系统独立性证明做了探讨，给出了算术解释的一种规律，并应用这种规则证明了３个命题演算公理系统的独立性。
【机 构】
：
辽宁师范大学数学系
【出 处】
：
辽宁师范大学学报：自然科学版
【发表日期】
：
1999年3期
其他文献
环境与经济协调发展，其核是经济发展、环境可持续利用，它对区域的可持续发展具有重大的理论和实践意义，镜泊湖位于黑龙江镜内，是一个著名的旅游胜地，通过对镜泊湖地区进行环境、经
本文给出了强仿Ｓ－闭空间的概念，讨论了该空间的一些性质及其半正则化，同时给出它的一个和定理．
通过对大学生的体育兴趣研究，提出了对体育课程的设置进行改革的设想．大学生参加体育活动的目的主要是增强体质，增进健康，促进学习，这与其自身的现实和未来发展需要紧密联系，大学生
目的：探讨复方伤风胶囊中马来酸氯苯那敏含量的测定方法。方法：采用高效液相色谱法进行含量测定，检测波长为280nm，分别测定产品的线性关系、精密度实验、稳定性实验、重复性实验
痔疮包括内痔、外痔、混合痔，是肛门直肠底部及肛门黏膜的静脉丛发生曲张而形成的一个或多个柔软的静脉团的一种慢性疾病，是人类特有的常见病、多发病。据有关普查资料表明，肛门
结合高等数学中精心设计与编排的教学实例，探讨教学中利用类比推理启发学生思维，引导学生参民形成知识的思维过程的学习；使学生不仅学到知识的结果，而且还学会了思维，培养了能力。
外耳道真菌病是由真菌感染引起，以曲霉菌、念球菌、丝状茵为主，它可以是全身多部位感染在耳部的表现，也可以独立表现在耳部，该病有多发性，易复发的特点，临床上经常按外耳道湿疹，细菌
目的：探讨小脑梗死的误诊原因,以降低其误诊漏诊率。方法：对2009年1月～2010年5月北京市顺义区医院神经内科收治的13例小脑梗死患者的临床资料进行回顾性分析。结果：其误诊原因总
数字与数码在一般情况下常常不加区别而混用，本文从记数法角度对它们进行区分，对数字与数码的起源，记数的表达形态，进位基数的选择，进位的表示方式以及数字与数码的相互影响和发展
对采自长白山滑珠甲螨属－－中国新纪录种－－短滑珠甲螨进行描记，并附形态特征图，标本保存于沈阳农业大学植保系。