湖南理工学院学报（自然科学版）
湖南理工學院學報（自然科學版）
호남리공학원학보（자연과학판）
JOURNAL OF HUNAN INSTITUTE OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE)
2015年
1期
10-12,15
,共4页
自然逻辑%不自然逻辑%公理方法%自然演绎方法
自然邏輯%不自然邏輯%公理方法%自然縯繹方法
자연라집%불자연라집%공리방법%자연연역방법
natural logic%unnatural logic%axiomatic approach%natural deduction method
在逻辑中，自然演绎方法与公理方法是研究各种逻辑词之间的推理规律的两种不同的研究方式。本文以命题逻辑中的推出关系为例，研究了逻辑推理演算在自然逻辑系统与不自然逻辑系统中的特点，总结了自然演绎方法与公理方法的区别与联系，认为自然逻辑更契合人类思维习惯，更易于接受。
在邏輯中，自然縯繹方法與公理方法是研究各種邏輯詞之間的推理規律的兩種不同的研究方式。本文以命題邏輯中的推齣關繫為例，研究瞭邏輯推理縯算在自然邏輯繫統與不自然邏輯繫統中的特點，總結瞭自然縯繹方法與公理方法的區彆與聯繫，認為自然邏輯更契閤人類思維習慣，更易于接受。
재라집중，자연연역방법여공리방법시연구각충라집사지간적추리규률적량충불동적연구방식。본문이명제라집중적추출관계위례，연구료라집추리연산재자연라집계통여불자연라집계통중적특점，총결료자연연역방법여공리방법적구별여련계，인위자연라집경계합인류사유습관，경역우접수。
Natural deductive and axiomatic are different methods in study of inference rule of logical words. In this paper, two methods are studied in logical deductive calculus by taking deducing relation in propositional logic as an example. As a conclusion, natural logic conforms to the human thinking habits by contrast unnatural logic, and can be acceptable by people.
