关于切割规则的可容许性定理的一个注释

来源 :贵州民族大学学报:哲学社会科学版 | 被引量 : 0次 | 上传用户:kona
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在《结构证明论》①*中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;“切割公式仅在左前提中是主公式”与“切割公式不是左前提的主公式”自相矛盾;收缩规则指代含混;“切割规则的任何一个前提不是逻辑公理”的表述不准确。文章分析这些问题并提出相关的解决方法,给出切割规则的可容许性定理一个详细而完整的证明,进一步论述经典命题逻辑矢列演算的子公式性质、一致性和可判定性。这些工作有助于提高学习和研究证明论的能力。
其他文献
民事诉讼的裁判作为推进程序的手段和通过程序形成的实体性结论,具有重要的意义和功能。我国的民事裁判包括判决、裁定、决定、命令等形式。判决是通过程序而形成有关实体权
2015年11月,名为“中国民俗研究”(Chinese Folklore Studies)的《亚洲民族学》(Asian Ethnology)特刊(第74卷第2期)在日本名古屋出版。经过五年的努力,在国内外学者的精诚合作下,由李
通过对培根的<新工具>一书的研究,本文认为,培根所提出的认识论应该是科学主义认识论.因为他关注的主要问题是知识的复兴而不仅仅是一般的哲学认识论研究.因此,培根的认识论
随着高新技术和绿色技术发展引发日益增长的稀土需求,以及近几年中国稀土产业政策的调整,触发了国际矿业界前所未有的找稀土矿热潮。对国外稀土勘查和开发项目的跟踪观察可知,处
最近,国家税务总局发布了《关于实施高新技术企业所得税优惠政策有关问题的公告》(国家税务总局公告2017年第24号)。《公告》明确,企业获得高新技术企业资格后,自高新技术企业证书
马克思、恩格斯创立的历史唯物主义是研究国家治理的重要思想和方法基础。国家治理是一个复杂的历史变革过程。国家治理的成效在相当程度上取决于历史提供的条件。历史唯物主
铁炉坪银铅矿床位于河南省洛宁县下峪乡,矿区内发现6条蚀变破碎带,共圈出24个银矿体和7个铅矿体。矿体赋存于太古宇太华群石板沟组地层中,严格受北北东向断裂控制,形态以脉状、透
人力资源是经济发展的根本动力汉源开发的主要的难点在于,人力资源储量充足,就业压力沉重;经费不足,深度开发难度大;观念落后,开发缺乏动力;体制不活,难以合理有效的使用人才
文章以行业院校会计专业本科生为研究对象.试开发贯穿大学四年的综合性案例研究课程.以期为学生深度把握行业特征和所在行业企业的情况.培养学生的实践能力和创新能力奠定基础。
由中国有色金属工业协会地质矿产分会举办、甘肃省有色金属地质勘查局承办的“第十届全国有色金属地质勘查行业改革发展高层论坛”8月13—14日在兰州举行。来自全国17个有色