【摘 要】
：
与命题演算一样,联合演算也有相应的判明一公式是否永真的方法。希尔伯特和阿克曼提出的＂审定法＂就是这样一种方法,但审定法没有区分联合演算的两个层次,试图在联合演算的第一
【基金项目】
：
2010年江苏省青蓝工程中青年学术带头人基金, 2012年国家留学归国人员科研启动基金的资助, 2011年国家社会科学基金项目（11BZX031）的研究成果
论文部分内容阅读
与命题演算一样,联合演算也有相应的判明一公式是否永真的方法。希尔伯特和阿克曼提出的＂审定法＂就是这样一种方法,但审定法没有区分联合演算的两个层次,试图在联合演算的第一个层次上解决判定问题,从而暴露出严重的弱点。在本文中,我将对审定法进行改造,深入解读竖号的逻辑意义,厘清联合演算的两个层次,在类逻辑和命题逻辑之间建立完全的类比,提出一种具有普遍意义的更严格的方法,即结构判定方法。该方法能够帮助我们揭示传统推理式的前提和结论之间的联系的必然性,从而判明一联合演算公式是否永真式,并且帮助由任一可满足式（包括永真
其他文献
片段1：师：就请同学们迅速地读一读，你觉得从哪里可以感受到这场灾难的可怕。生：我找到的是第二自然段的第二句：那是正在全速前进的玛丽号巨轮，它直向诺曼底号的侧舷撞来，只听一声巨
在高中化学课堂教学活动中,运用生活化教学策略有助于活跃课堂教学气氛,促进课堂教学效果的不断提升。基于高中化学课堂教学现状,主要分析了高中化学教学生活化策略。
摘 要：为了将我国建设成为教育强国，对教育模式进行创新，实施了以创新教育为核心的新课程改革。新课改的落实终究要依赖一线教师，一线教师是决定教学改革是否成功的决定性因素。数学学科在小学阶段是一门基础学科，在小学数学教学中实施改革、创新，全面提高高年级数学教学效率，教师应该以生活化教学激发学生学习兴趣、构建多元互动立体化课堂、善用多元化教学方法，促进小学数学课堂教学效率的有效提升。 关键词：小学高年
随着我国新课程改革的深入,探索性教学逐渐引入高中生物课程中。探究式教学是一种新的教学理念,在实际的教学过程中不仅突出了学生的主体地位,激发了学生的学习兴趣,还可以引
下课后走进办公室，坐下来刚准备喝口茶，端起茶杯发现底下压着两张通知，浏览了一下，原来这两张通知上的内容基本一样，都是要求班主任组织学生进行以“好习惯”为主题的征文活动，只不过署名不同，一个是德育处，一个是教务处。这时后边的李老师笑着对我说：“‘衙门’太多了，这不，还要送两份‘礼’呢，又要让学生将征文抄两份了。”我无奈地笑了笑…… 唉，现在学校的行政部门太多了，校长室主管一切，副校长室分管教学、德