联合演算对传统直言推论的系统化 |
| |
引用本文: | 马雷.联合演算对传统直言推论的系统化[J].皖西学院学报,2002,18(2):16-21. |
| |
作者姓名: | 马雷 |
| |
作者单位: | 东南大学,哲学与科学系,江苏,南京,210096 |
| |
摘 要: | 本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则。以此为出发点,本文对传统直接推论和传统直言三段论作出系统化处理,证明传统对当关系的所有有效式、传统逻辑中的简单换位、传统换质法推理式、传统换质位法推理式、传统戾换法的全部有效式以及传统直言三段论二十四个有效式在本联合演算系统中都是定理。
|
关 键 词: | 联合演算 传统直接推论 传统直言三段论 系统化 初始符号 |
文章编号: | 1009-9735(2002)02-0016-06 |
修稿时间: | 2002年1月22日 |
Joint-calculation for Systematisation of Traditional Speaking Inference |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|