|
|||||
|
|
| 演绎推理的准确表述与另一类非演绎推理——兼论数学证明中的推理 | |
| 引用本文： | 汤光霖. 演绎推理的准确表述与另一类非演绎推理——兼论数学证明中的推理[J]. 中国矿业大学学报(社会科学版), 2013, 0(3): 20-25 |
| 作者姓名： | 汤光霖 |
| 作者单位： | 中国矿业大学（北京）理学院,北京100083 |
| 摘 要： | 在数学推理中，除演绎推理外，尚存在另一类推理；也就是逻辑学中增加了从数学推理中揭示出的另一类推理；并且对演绎推理的传统表述进行了澄清，作出准确的表述。 |
| 关 键 词： | 演绎推理 非演绎推理 推理规则 逻辑推论 |
Exact expression of deductive inference and another non-deductive inference |
|
| TANG Guang-lin. Exact expression of deductive inference and another non-deductive inference[J]. Journal of China University of Mining & Technology(Social Sciences), 2013, 0(3): 20-25 | |
| Authors: | TANG Guang-lin |
| Affiliation: | TANG Guang-lin (China university of mining＆ technology, Beijing 100083,China) |
| Abstract: | In the mathematical inference, there still exists a new inference except the deductive inference, that is to say, the mathematical inference is not only the deductive inference, but also a new inference discovered in mathematics that is added into logic. Also, this study clarifies the tranditional expression of the deductive inference, and defines an exact expression. |
| Keywords: | Deductive inference Non-deductive inference Inference rule Logical deduction |
| 本文献已被 维普 等数据库收录！ | |