论文部分内容阅读
公式按照其语义特征可被合并为实质蕴涵型公式和荒谬蕴涵型公式，由此任何一个公式都可被分解为前件和后件两个部分。这一合并简化了斯穆里安著名的合并记法。就这一新的合并记法，提出了两种结构归纳证明，建立了一个希尔伯特型古典逻辑系统，并证明其完全性。
斯穆里安合并记法的一种变形
【摘 要】
：
公式按照其语义特征可被合并为实质蕴涵型公式和荒谬蕴涵型公式，由此任何一个公式都可被分解为前件和后件两个部分。这一合并简化了斯穆里安著名的合并记法。就这一新的合并记
【机 构】
：
华南师范大学政治与行政学院
【出 处】
：
华南师范大学学报：社会科学版
【发表日期】
：
2010年3期
【基金项目】
：
广东省优秀青年创新人才培育项目（WYM08064）,教育部人文社会科学重点研究基地重大项目“现代逻辑背景下的逻辑哲学问题研究“（07JJD720045）
其他文献
后装机放射源到位精度是后装治疗机质量保证内容之一 ,对临床治疗至关重要。本文介绍WD -HDR18后装机源到位精度的测定方法。
夫带下俱是湿症.而以"带"名者,因带脉[1]不能约束而有此病,故以名之.盖带脉通于任、督,任、督病而带脉始病[2].带脉者,所以约束胞胎之系[3]也.
温胆汤作为传统的化痰宁神的经典方,临床运用范围非常广泛,效果卓著.本文从神经精神、心脑血管、消化系统、泌尿系统、妇儿科等疾病的治疗方面对其予以综述.