摘要
文章用数理逻辑的方法对数学常用的证明方法进行了逻辑分析,为正确简便地运用数学证明方法提供了理论依据。
In this article, a method of mathematical logic is applied to analysis of some proof methods which are usually used in mathematics. It provides a theory basis on which proof method can be applied more correctly and conveniently.
出处
《襄樊学院学报》
2002年第5期26-29,共4页
Journal of Xiangfan University
关键词
命题
证法
数理逻辑
Proposition
Proof method
Mathematical logic
