聯合演算對傳統直言推論的系統化

本文確定了聯合演算的初始符號、形成規則、定義、公理和基本推理規則.以此為出發點,本文對傳統直接推論和傳統直言三段論作出系統化處理,證明傳統對當關系的所有有效式、傳統邏輯中的簡單換位、傳統換質法推理式、傳統換質位法推理式、傳統戾換法的全部有效式以及傳統直言三段論二十四個有效式在本聯合演算系統中都是定理.

作 者： 馬雷   作者單位： 東南大學,哲學與科學系,江蘇,南京,210096  刊 名： 皖西學院學報  英文刊名： JOURNAL OF WANXI UNIVERSITY  年，卷(期)： 2002 18(2)  分類號： B812.2  關鍵詞： 聯合演算   傳統直接推論   傳統直言三段論   系統化  

【聯合演算對傳統直言推論的系統化】相關文章：

矢量GIS空間方向關系的演算模型04-27

前提肯定法的幾種推論方式04-27

《系統化教學設計》評介04-25

老外直言：怎樣與老外交朋友05-04

系統化教學設計學習筆記04-25

老外直言：如何讓人覺得你英語很棒？05-04

解析修辭推論-亞里斯多德《修辭學》核心概念04-26

聯合活動方案11-28

最現實高考生：中年男子直言赴考只為漲工資04-26

北京聯合大學是幾本03-08