schliessen

Filtern

 

Bibliotheken

关于自然演绎逻辑的反思 - Reflections on Natural Deductive Logic

自然演绎的本质在于证明中可以随时引入假设。在总结出各个自然演绎系统的几个区别性特征之后,本文提供了一个自然演绎的教学案例,案例通过采取一个有更多“有假设推演规则”的自然演绎系统,并用证明序列的左侧序号来编撰和追踪证明者的证明思路和证明策略,从而更有利于学生熟悉和掌握各种逻辑证明方法和证明策略,有助于激发学生自主思考,提高学生逻辑思维能力和元定理的证明能力。... Full description

Journal Title: 湖南科技大学学报:社会科学版 - journal of hunan university of science&technology 2016, Vol.19(01), pp.23-32
Main Author: 郭美云
Other Authors: GUO Mei - yun
Format: Electronic Article Electronic Article
Language:
Subjects:
Quelle: 维普数据 (Chongqing VIP Information Co.)
ID: ISSN: 1672-7835
Zum Text:
SendSend as email Add to Book BagAdd to Book Bag
Staff View
recordid: cqvip667684642
title: 关于自然演绎逻辑的反思 - Reflections on Natural Deductive Logic
format: Article
creator:
  • 郭美云
  • GUO Mei - yun
subjects:
  • 自然演绎逻辑系统
  • 证明思路
  • 证明策略
  • 元定理证明能力
  • Natural Deductive Logic
  • Thinking in Proofs
  • Proof Strategies
  • Abilities on Proving Meta - Theorems
ispartof: 湖南科技大学学报:社会科学版 - journal of hunan university of science&technology, 2016, Vol.19(01), pp.23-32
description: 自然演绎的本质在于证明中可以随时引入假设。在总结出各个自然演绎系统的几个区别性特征之后,本文提供了一个自然演绎的教学案例,案例通过采取一个有更多“有假设推演规则”的自然演绎系统,并用证明序列的左侧序号来编撰和追踪证明者的证明思路和证明策略,从而更有利于学生熟悉和掌握各种逻辑证明方法和证明策略,有助于激发学生自主思考,提高学生逻辑思维能力和元定理的证明能力。
language:
source: 维普数据 (Chongqing VIP Information Co.)
identifier: ISSN: 1672-7835
fulltext: no_fulltext
issn:
  • 1672-7835
  • 16727835
url: Link


@attributes
ID108512848
RANK0.07
NO1
SEARCH_ENGINEprimo_central_multiple_fe
SEARCH_ENGINE_TYPEPrimo Central Search Engine
LOCALfalse
PrimoNMBib
record
control
sourcerecordid667684642
sourceidcqvip
recordidTN_cqvip667684642
sourceformatDC
sourcesystemPC
display
typearticle
title关于自然演绎逻辑的反思 - Reflections on Natural Deductive Logic
creator郭美云 ; GUO Mei - yun
ispartof湖南科技大学学报:社会科学版 - journal of hunan university of science&technology, 2016, Vol.19(01), pp.23-32
identifierISSN: 1672-7835
subject自然演绎逻辑系统 ; 证明思路 ; 证明策略 ; 元定理证明能力 ; Natural Deductive Logic ; Thinking in Proofs ; Proof Strategies ; Abilities on Proving Meta - Theorems
description
0自然演绎的本质在于证明中可以随时引入假设。在总结出各个自然演绎系统的几个区别性特征之后,本文提供了一个自然演绎的教学案例,案例通过采取一个有更多“有假设推演规则”的自然演绎系统,并用证明序列的左侧序号来编撰和追踪证明者的证明思路和证明策略,从而更有利于学生熟悉和掌握各种逻辑证明方法和证明策略,有助于激发学生自主思考,提高学生逻辑思维能力和元定理的证明能力。
1The essence of natural deduction lies proofs. After summarizing some distinguishing features in that any assumptions can be introduced during our of different Natural Deduction Systems, this paper provides a teaching case on natural deduction, in which there are more deductive rules with assumptions. Further- more, by making use of the serial numbers of proof sequences, this paper encodes and keeps track of their thinking and strategies of the demonstrators. This paper argues that the said approach, which is more advanta- geous for the students to grasp the logical methods and proof strategies, is helpful to stimulate their independent thinking and develop their own proofs, and consequently to improve their logical thinking ability and abili- ties on proving metatheorems.
relation作者单位: 西南大学逻辑与智能研究中心,西南重庆400715
source维普数据 (Chongqing VIP Information Co.)
lds50peer_reviewed
links
openurl$$Topenurl_article
openurlfulltext$$Topenurlfull_article
thumbnail$$Uhttp://image.cqvip.com/vip1000/qk/84355B/84355B.jpg
search
creatorcontrib
0郭美云
1GUO Mei - yun
2西南大学逻辑与智能研究中心,西南重庆400715
title
0关于自然演绎逻辑的反思
1Reflections on Natural Deductive Logic
description
0自然演绎的本质在于证明中可以随时引入假设。在总结出各个自然演绎系统的几个区别性特征之后,本文提供了一个自然演绎的教学案例,案例通过采取一个有更多“有假设推演规则”的自然演绎系统,并用证明序列的左侧序号来编撰和追踪证明者的证明思路和证明策略,从而更有利于学生熟悉和掌握各种逻辑证明方法和证明策略,有助于激发学生自主思考,提高学生逻辑思维能力和元定理的证明能力。
1The essence of natural deduction lies proofs. After summarizing some distinguishing features in that any assumptions can be introduced during our of different Natural Deduction Systems, this paper provides a teaching case on natural deduction, in which there are more deductive rules with assumptions. Further- more, by making use of the serial numbers of proof sequences, this paper encodes and keeps track of their thinking and strategies of the demonstrators. This paper argues that the said approach, which is more advanta- geous for the students to grasp the logical methods and proof strategies, is helpful to stimulate their independent thinking and develop their own proofs, and consequently to improve their logical thinking ability and abili- ties on proving metatheorems.
subject
0自然演绎逻辑系统
1证明思路
2证明策略
3元定理证明能力
4Natural Deductive Logic
5Thinking in Proofs
6Proof Strategies
7Abilities on Proving Meta - Theorems
general
0chinese
1维普数据 (Chongqing VIP Information Co.)
sourceidcqvip
recordidcqvip667684642
issn
01672-7835
116727835
rsrctypearticle
creationdate2016
startdate20160101
enddate20161231
addtitle
0湖南科技大学学报:社会科学版
1journal of hunan university of science&technology
searchscopecqvip
scopecqvip
lsr01
0西南大学逻辑与智能研究中心,西南重庆400715
1GUO Mei - yun ( Center for the Studies of Logic and Intelligence, South - West University, Chongqing 400715, China)
citationpf 23 pt 32 vol 19 issue 01
sort
title关于自然演绎逻辑的反思 - Reflections on Natural Deductive Logic
author郭美云 ; GUO Mei - yun
creationdate20160000
lso0120160000
facets
frbrgroupid3404056949098593886
frbrtype6
creationdate2016
topic
0自然演绎逻辑系统
1证明思路
2证明策略
3元定理证明能力
4Natural Deductive Logic
5Thinking in Proofs
6Proof Strategies
7Abilities on Proving Meta - Theorems
collection维普资讯 (Chongqing VIP Information Co.)
prefilterarticles
rsrctypearticles
creatorcontrib
0郭美云
1GUO Mei - yun
jtitle
0湖南科技大学学报:社会科学版
1journal of hunan university of science&technology
toplevelpeer_reviewed
delivery
delcategoryRemote Search Resource
fulltextno_fulltext
addata
au
0郭美云
1GUO Mei - yun
atitle关于自然演绎逻辑的反思 - Reflections on Natural Deductive Logic
jtitle湖南科技大学学报:社会科学版
date2016
risdate2016
volume19
issue01
part84355B
spage23
epage32
issn1672-7835
coden84355B
formatjournal
genrearticle
ristypeJOUR
abstract
0自然演绎的本质在于证明中可以随时引入假设。在总结出各个自然演绎系统的几个区别性特征之后,本文提供了一个自然演绎的教学案例,案例通过采取一个有更多“有假设推演规则”的自然演绎系统,并用证明序列的左侧序号来编撰和追踪证明者的证明思路和证明策略,从而更有利于学生熟悉和掌握各种逻辑证明方法和证明策略,有助于激发学生自主思考,提高学生逻辑思维能力和元定理的证明能力。
1The essence of natural deduction lies proofs. After summarizing some distinguishing features in that any assumptions can be introduced during our of different Natural Deduction Systems, this paper provides a teaching case on natural deduction, in which there are more deductive rules with assumptions. Further- more, by making use of the serial numbers of proof sequences, this paper encodes and keeps track of their thinking and strategies of the demonstrators. This paper argues that the said approach, which is more advanta- geous for the students to grasp the logical methods and proof strategies, is helpful to stimulate their independent thinking and develop their own proofs, and consequently to improve their logical thinking ability and abili- ties on proving metatheorems.
lad0184355B