论文部分内容阅读
<正>事情本来是怎样的?在国内数理逻辑教材较为常用的一阶逻辑系统中,有两条推理规则。一条是分离规则,另一条可称为全称概括规则。这两条规则,存在着一个实质性的区别。据分离规则,从A和A→B,可以得到B,这里,A和A→B不要求在系统内可证;据全称概括规则,从A可以得到xA,这里,A
全称概括规则和受限制的演绎定理——国内数理逻辑教材中的一个问题
【摘 要】
：
<正>事情本来是怎样的?在国内数理逻辑教材较为常用的一阶逻辑系统中,有两条推理规则。一条是分离规则,另一条可称为全称概括规则。这两条规则,存在着一个实质性的区别。据分
【机 构】
：
中国人民大学哲学系
【出 处】
：
湖南科技大学学报(社会科学版)
【发表日期】
：
2012年01期
其他文献
自1996年国家出台鼓励在建筑中用钢的政策后,我国的钢结构建筑已在建筑中占有很大份额,但是我国当前钢结构建筑的美学表现研究还远滞后于实际的需求。钢材是加工制造钢结构构
水源保护区是为人们提供清洁、充足和稳定水源的生态环境基础,并直接关系到人类的生命安全和社会经济系统的正常运行。在水源保护区进行高速公路建设,一方面带来了巨大的收益
关于中小学语文阅读教学的相关研究十分丰富,其中大部分研究指向如何提高中小学语文阅读教学效率。而笔者认为欲真正提高中小学语文阅读教学之效率,首先应明确阅读教学的目的
人是多种病原微生物的栖居场所,在进化过程中,人类发展出了多种针对病原微生物的防御手段,血型、免疫系统、复杂的皮肤、身体开口处的结构和分泌行为;作用较为强烈的呕吐、腹
中学生无论认知水平还是知识经验,均较小学阶段有了显著提升,此时的课堂小组讨论本应呈现强生成、宽视域的态势,却仍存在议题设置及小组分配随意、讨论分工模糊、教师角色转
交通运输业是国民经济的基础性、先导性产业,该产业的发展水平与国民经济的发展有着极为重要的联系。我国交通事业经历了建国60年,特别是改革开放30年以来的快速发展,在各方
凯蒂本来是一个有着许多美好品质的南方少女,最后却由反叛传统走向了堕落和沉沦。在凯蒂这个人物的悲剧中,表现出了南方贵族的没落,表现出了南方文化特别是清教妇道观对妇女
在归纳我国校企合作的现有模式基础上,认为在新形式下,我国校企合作应该建立校企合作的管理办法,确立合作的动力机制,在运作过程中注重校企合作教育,推进产学研合作深入开展,
道德问题在毛泽东思想的理论体系中占有重要地位。毛泽东的社会主义道德观是没有中国特色社会主义的巨大精神财富。本文通过对毛泽东的社会主义道德的论述,意在我们在构建社
传统文化通识教育与财经类高校人才培养目标衔接,从而助力青年学生的成长,其核心是"旧邦为新"。《国学今用》课程遴选"宜商宜德"的国学题材为内容、更新交互媒体环境下教学方