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

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

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

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

矢量GIS空間方向關(guān)系的演算模型04-27

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

《系統(tǒng)化教學(xué)設(shè)計(jì)》評(píng)介04-25

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

系統(tǒng)化教學(xué)設(shè)計(jì)學(xué)習(xí)筆記04-25

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

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

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

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

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