- 相关推荐
联合演算对传统直言推论的系统化
本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则.以此为出发点,本文对传统直接推论和传统直言三段论作出系统化处理,证明传统对当关系的所有有效式、传统逻辑中的简单换位、传统换质法推理式、传统换质位法推理式、传统戾换法的全部有效式以及传统直言三段论二十四个有效式在本联合演算系统中都是定理.
作 者: 马雷 作者单位: 东南大学,哲学与科学系,江苏,南京,210096 刊 名: 皖西学院学报 英文刊名: JOURNAL OF WANXI UNIVERSITY 年,卷(期): 2002 18(2) 分类号: B812.2 关键词: 联合演算 传统直接推论 传统直言三段论 系统化【联合演算对传统直言推论的系统化】相关文章:
矢量GIS空间方向关系的演算模型04-27
前提肯定法的几种推论方式04-27
《系统化教学设计》评介04-25
老外直言:怎样与老外交朋友05-04
系统化教学设计学习笔记04-25
老外直言:如何让人觉得你英语很棒?05-04
联合活动方案11-28
最现实高考生:中年男子直言赴考只为涨工资04-26
北京联合大学是几本03-08