本文關(guān)鍵詞：關(guān)于自然演繹邏輯的反思　出處：《湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版)》2016年01期 　論文類(lèi)型：期刊論文

  更多相關(guān)文章： 自然演繹邏輯系統(tǒng) 證明思路 證明策略 元定理證明能力

【摘要】：自然演繹的本質(zhì)在于證明中可以隨時(shí)引入假設(shè)。在總結(jié)出各個(gè)自然演繹系統(tǒng)的幾個(gè)區(qū)別性特征之后,本文提供了一個(gè)自然演繹的教學(xué)案例,案例通過(guò)采取一個(gè)有更多"有假設(shè)推演規(guī)則"的自然演繹系統(tǒng),并用證明序列的左側(cè)序號(hào)來(lái)編撰和追蹤證明者的證明思路和證明策略,從而更有利于學(xué)生熟悉和掌握各種邏輯證明方法和證明策略,有助于激發(fā)學(xué)生自主思考,提高學(xué)生邏輯思維能力和元定理的證明能力。
[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.
【作者單位】： 西南大學(xué)邏輯與智能研究中心;
【基金】：國(guó)家社科基金重點(diǎn)項(xiàng)目(15AZX020) 重慶市研究生教育教學(xué)改革研究項(xiàng)目(yjg143035) 中央高校基本科研業(yè)務(wù)費(fèi)專(zhuān)項(xiàng)資金項(xiàng)目(2362015xk02)
【分類(lèi)號(hào)】：B81
【正文快照】： 自然演繹(Natural Deduction)是德國(guó)邏輯學(xué)家根岑(Gerhard Gentzen,1909-1945)和波蘭邏輯學(xué)家雅斯科夫斯基(Stanis錒aw Jas'kowski,1906-1965)于1934年各自獨(dú)立發(fā)現(xiàn)的。為紀(jì)念發(fā)現(xiàn)自然演繹80周年,2014年6月,國(guó)際知名邏輯雜志Studia Logica專(zhuān)門(mén)出了一個(gè)題為“根岑和雅斯科夫斯

【相似文獻(xiàn)】

相關(guān)期刊論文 前5條

1 朱建平;;邏輯、邏各斯、定義與自然演繹系統(tǒng)——亞里士多德邏輯的當(dāng)代詮釋[J];燕山大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2013年04期

2 任秋云;假設(shè)的研究情形及其演繹性探究[J];科學(xué)·經(jīng)濟(jì)·社會(huì);1994年03期

3 朱建平;;自然演繹系統(tǒng):亞里士多德的“第二種邏輯”[J];寶雞文理學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2013年01期

4 蕭瑤;;用集合論的方法判定三段論的有效性[J];和田師范專(zhuān)科學(xué)校學(xué)報(bào);2007年05期

5 ;[J];;年期

相關(guān)碩士學(xué)位論文 前1條

1 易小涵;對(duì)偶基本命題邏輯的自然演繹系統(tǒng)研究[D];西南大學(xué);2015年

，

本文編號(hào)：1399722