|
|||||
|
|
| 试论数学推理方法的逻辑根据 | |
| 引用本文： | 祁永谨.试论数学推理方法的逻辑根据[J].西北师范大学学报,1983(2). |
| 作者姓名： | 祁永谨 |
| 摘 要： | 数学的基本特征之一,是逻辑推理的严格性以及它的结论的确定性。那末逻辑推理的确切涵义与根据是什么呢?本文试用逻辑代数的观点给以阐述。数学中推理的有效性数学中的命题,大都具有“如果…,那么…”的形式,或者,更简单些可以表为“若p则q”,其中p,q是命题。命题“若p则q”称为“条件命题”或“假言命题”,在逻辑代数中表为“p→q”,p称为前提(条件),q称为结论(终结)。命题p→q的真假由下表给出: |
| 本文献已被 CNKI 等数据库收录！ | |