| 论替换中项法下的直言三段论自然推理系统 |
| |
| 引用本文： | 戴春勤.论替换中项法下的直言三段论自然推理系统[J].毕节学院学报,2009,27(2). |
| |
| 作者姓名： | 戴春勤 |
| |
| 作者单位： | 兰州理工大学人文学院,甘肃,兰州,730050 |
| |
| 摘 要： | 替换中项法是直言三段论新方法,利用该方法可以构遣直言三段论自然推理系统.在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索.
|
| 关 键 词： | 直言三段论 自然推理 替换中项法 |
To Construct System of Natural Inference about Categorical Syllo gism with Methods of Substitution Middle-term |
| |
| DAI Chun-qin.To Construct System of Natural Inference about Categorical Syllo gism with Methods of Substitution Middle-term[J].Journal of Bijie University,2009,27(2). |
| |
| Authors: | DAI Chun-qin |
| |
| Institution: | College of Literature;Lanzhou University of Technology;Lanzhou;Gansu 730050 |
| |
| Abstract: | Methods of substitution-middle-term are new methods of categorical syllogism,by which a system 0f natural inference about categorical syllogism can be reconstructed.In the system,with methods of substitution-middle term,the validity of categorical syllogism can be decided,all valid mood of categorical syllogism can be roved,and in enthymeme,a premise which has been omitted,can be supplemented,rules of categorical syllogism can entirely and consistently be proved.What's more,it can show the process of how on... |
| |
| Keywords: | Categorical Syllogism System of Natural Inference Methods of Substitution Middle-term |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
