推荐文档列表

数学证明中的推理问题

时间:2021-12-09 15:14:50 哲学宗教论文 我要投稿

数学证明中的推理问题

演绎推理和非演绎推理经常被运用到数学证明中.二者的共同之处在于:都是从前提推出结论、从已知达于未知;非演绎推理除归纳法之外,与演绎推理一样,只要前提都真,结论必真.不同之处在于:演绎推理从前提到结论之间的推理是逻辑推理,而非演绎推理的推理过程则是根据具体问题进行具体分析;演绎推理的前提与结论之间的关系必然能被数理逻辑的逻辑演算中的形式定理所反映,非演绎推理的前提与结论间的关系则不能;演绎推理对应着一个演绎推理规则,非演绎推理则无对应的推理规则.

数学证明中的推理问题

作 者: 汤光霖   作者单位: 中国矿业大学北京校区,数学系,,北京,100083  刊 名: 中国矿业大学学报(社会科学版)  英文刊名: JOURNAL OF CHINA UNIVERSITY OF MINING & TECHNOLOGY(SOCIAL SCIENCES)  年,卷(期): 2003 5(4)  分类号: B812.23  关键词: 演绎推理   前提分析   逻辑推理   非演绎推理