聯(lián)合演算對傳統(tǒng)直言推論的系統(tǒng)化

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

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

【聯(lián)合演算對傳統(tǒng)直言推論的系統(tǒng)化】相關文章：

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

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

《系統(tǒng)化教學設計》評介04-25

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

系統(tǒng)化教學設計學習筆記04-25

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

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

聯(lián)合活動方案11-28

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

北京聯(lián)合大學是幾本03-08