联合演算对传统直言推论的系统化

Joint-calculation for Systematisation of Traditional Speaking Inference

本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则。以此为出发点 ,本文对传统直接推论和传统直言三段论作出系统化处理 ,证明传统对当关系的所有有效式、传统逻辑中的简单换位、传统换质法推理式、传统换质位法推理式。