会议论文详细信息
用图解法判定直接推理的有效性
文献类型：会议
作者单位：首都经济贸易大学社科部
会议文献：1996年逻辑研究专辑
会议日期：19960000
出版单位：中国自然辩证法研究会编辑出版委员会
出版日期：19961000
学会名称：中国逻辑学会
语 种：中文
摘 要：目前,普通逻辑教科书一般用欧拉图来说明直言命题的对当关系。这种方法实际上也是一种判定对当关系直接推理的有效性的方法。也就是说,用S 与P之间的五种关系图不但能显示SAP、SEP、SIP、 SOP的真假,而且能据此判定在它们之间进行的推理是否有效。与之相对照,目前的教科书中,直言命题变形直接推理只给出了变形规则,没有给出其有效性判定的严格证明。这使人有只知其然,不知其所以然的感觉。为什么依据规则的换质、换位,其前提真结论就必定真呢?只有给出严格的证明,才能令人信服。
关 键 词：真包含关系 直言命题 假假真真 SEP 对当关系 换质法 全异关系 图解法
分 类 号：B812]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
