关于自然演绎逻辑的反思

发布时间：2018-01-09 03:05

  本文关键词：关于自然演绎逻辑的反思　出处：《湖南科技大学学报(社会科学版)》2016年01期 　论文类型：期刊论文

  更多相关文章： 自然演绎逻辑系统 证明思路 证明策略 元定理证明能力

【摘要】：自然演绎的本质在于证明中可以随时引入假设。在总结出各个自然演绎系统的几个区别性特征之后,本文提供了一个自然演绎的教学案例,案例通过采取一个有更多"有假设推演规则"的自然演绎系统,并用证明序列的左侧序号来编撰和追踪证明者的证明思路和证明策略,从而更有利于学生熟悉和掌握各种逻辑证明方法和证明策略,有助于激发学生自主思考,提高学生逻辑思维能力和元定理的证明能力。
[Abstract]:The essence of natural deduction is that the hypothesis can be introduced into the proof at any time. After summing up several distinguishing features of each natural deduction system, this paper provides a teaching case of natural deduction. By adopting a natural deductive system with more hypothetical inference rules, the case uses the left-hand serial number of the proof sequence to compile and track the proof ideas and strategies of the certifier. Therefore, it is helpful for students to be familiar with and master various methods and strategies of logical proof, to stimulate students to think independently, and to improve students' ability of logical thinking and proof of meta-theorem.
【作者单位】： 西南大学逻辑与智能研究中心;
【基金】：国家社科基金重点项目(15AZX020) 重庆市研究生教育教学改革研究项目(yjg143035) 中央高校基本科研业务费专项资金项目(2362015xk02)
【分类号】：B81
【正文快照】： 自然演绎(Natural Deduction)是德国逻辑学家根岑(Gerhard Gentzen,1909-1945)和波兰逻辑学家雅斯科夫斯基(Stanis錒aw Jas'kowski,1906-1965)于1934年各自独立发现的。为纪念发现自然演绎80周年,2014年6月,国际知名逻辑杂志Studia Logica专门出了一个题为“根岑和雅斯科夫斯

【相似文献】

相关期刊论文 前5条

1 朱建平;;逻辑、逻各斯、定义与自然演绎系统——亚里士多德逻辑的当代诠释[J];燕山大学学报(哲学社会科学版);2013年04期

2 任秋云;假设的研究情形及其演绎性探究[J];科学·经济·社会;1994年03期

3 朱建平;;自然演绎系统:亚里士多德的“第二种逻辑”[J];宝鸡文理学院学报(社会科学版);2013年01期

4 萧瑶;;用集合论的方法判定三段论的有效性[J];和田师范专科学校学报;2007年05期

5 ;[J];;年期

相关硕士学位论文 前1条

1 易小涵;对偶基本命题逻辑的自然演绎系统研究[D];西南大学;2015年

，

本文编号：1399722