- 相關推薦
聯(lián)合演算對傳統(tǒng)直言推論的系統(tǒng)化
本文確定了聯(lián)合演算的初始符號、形成規(guī)則、定義、公理和基本推理規(guī)則.以此為出發(fā)點,本文對傳統(tǒng)直接推論和傳統(tǒng)直言三段論作出系統(tǒng)化處理,證明傳統(tǒng)對當關系的所有有效式、傳統(tǒng)邏輯中的簡單換位、傳統(tǒng)換質法推理式、傳統(tǒng)換質位法推理式、傳統(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
聯(lián)合活動方案11-28
最現(xiàn)實高考生：中年男子直言赴考只為漲工資04-26
北京聯(lián)合大學是幾本03-08