|
|||||
|
|
| 论证直言命题的正确推理形式 | |
| 引用本文： | 陶景侃.论证直言命题的正确推理形式[J].兰州大学学报(社会科学版),1985(1). |
| 作者姓名： | 陶景侃 |
| 摘 要： | 传统逻辑讨论A E I O四种直言命题,它们在数理逻辑即现代形式逻辑中,表现为一阶谓词公式: 传统逻辑讨论的直言命题的正确推理,最基本的是:按逻辑方阵对当关系推理,换质法、换位法、附性法和三段论。考虑到前提、结论的不同情况,它们实际上包含四十多个形式。在这些基本形式之上,还可发展出换质位法、戾换法、联锁三段论等形式。在数理逻輯中,任何推理的形式,都可表示为一个比较复杂的复合命题形式。例如,若干个前提之间,可用合取符号∧联结起来;前提与结论之间,可用蕴涵符号→联结起来,使推理形式表现为: 前提1∧前提2……∧前提n→结论 |
| 本文献已被 CNKI 等数据库收录！ | |