【摘 要】
：
陈慕泽先生在《全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题》一文中,对王宪钧的《数理逻辑引论》、张尚水的《数理逻辑导引》和周礼全的《模态逻辑引
论文部分内容阅读
陈慕泽先生在《全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题》一文中,对王宪钧的《数理逻辑引论》、张尚水的《数理逻辑导引》和周礼全的《模态逻辑引论》中关于形式化公理系统的设置提出两点批评.本文简要地分析这两个批评,指出陈先生的第一个批评是一种误解,而第二个批评是恰当的,在简要地分析有前提的演绎与推理规则两个概念的基础上,尝试在不改变王先生等关于形式化公理系统设置的前提下,重新定义有前提的演绎这个概念.
其他文献
《广东行政学院学报》是以马克思列宁主义、毛泽东思想、邓小平理论、“三个代表”重要思想、科学发展观和习近平总书记系列重要讲话精神为指导,以探讨改革开放和中国特色社
目前,我国体育旅游领域的资源开发并不充分,体育旅游品牌的建设存在短板效应,鉴于体育旅游资源东西部割裂的情况,体育旅游资源联合开发的效益也不能体现出来.这些现实问题暴
春节前夕,中国海员建设工会副主席曹宏伟一行3人来北京地铁运营一线慰问地铁员工并指导工作.rn曹宏伟第一站来到S1线石厂站,他感谢北京地铁广大员工多年默默无闻,坚守在运营
本文首先对金融资产管理公司遭遇制度安排困惑进行了分析,然后提出了金融资产管理公司遭遇制度安排困惑解决措施,最后希望通过本文的研究,对今后的专家学者研究相关的课题有
韩乐然,原名韩光宇,朝鲜族人,1898年12月8日出生于吉林省延吉龙井村(今龙井市)。1923年加入中国共产党,是中国共产党历史上第一位朝鲜族党员。1924年创办奉天美术专科学校,以
准确的工程检测结果可以避免安全事故的发生、提高工程效率、减少工程造价、使建筑结构更为合理,从根本上保障工程质量.工程建设人员不能仅着眼于眼前的利益,而忽略了对工程
亚里士多德的德性幸福论主张快乐与理性相结合,欲望意志受理性支配。他提出“幸福是至善”“幸福就是符合德性的现实活动”等思想命题,指出获得幸福的途径就在于亲身实践合于
5月17日晚间，证监会官方网站发布10家企业招股说明书，禾丰牧业位居其中。而在禾丰牧业400多页的招股说明书中，特别显眼的是公司第五大自然人股东：张铁生。因“白卷英雄”一称家喻户晓的张铁生在入狱15年后，下海经商，成为禾丰牧业原始股东。而据该公司招股说明书，张铁生持有3200多万股。公司若顺利上市，张铁生身家估计将超过3亿。 白卷英雄 1973年，正在辽宁省兴城县白塔公社枣山大队插队的张铁生被
英刊2007年第7期刊登了执教于香港大学社会科学系的埃里克·巴尔克题为的文章.该文分析了中国进行知识创新的社会结构,论述了中国的历史遗产与当代的价值观念对创新实践的影
为了打造现代化的住房建筑就要从地基施工方面开始注意,地基中应用的施工技术就是最基本的保障.为此,本文进行以下探讨.