三段论推理系统.pdf

UKSim 2009: 11th International Conference on Computer Modelling and Simulation A Deductive System of Aristotelian Syllogism 1 Qiao Xiaodong 1 Zhang Yinsheng 1 Shi Qixian 1Institute of Scientific Technical Information of China, No.15 Fuxing Road, Beijing, China, 100038 e-mail: zhangyinsheng@, myemailinbeijing@ Abstract Quantifier term Copula term Aristotelian syllogism is traditional logic which is Definition 1. Aristotelian syllogism. The three considered as un-formalized normally. The paper categorical propositions constitute one Aristotelian formalized Aristotelian syllogism as the forms of syllogism if the 6 terms of the three ones respectively propositions with all the rules for getting the valid are {m,p},{m,s},{s,p}. forms (figures).Based on the results, an automatic As the positions of the four terms in the two system are developed using VC++ and MFC(Microsoft premises of syllogism m,p,m,s can be different , so the Foundation Class).For any Aristotelian syllogism it can be formalized as the four figures according to the which are divided into 4 types named as 4 figures and different positions of the two middle terms (obviously, numbered totally 256, the valid conclusions can be middle term m is the repeated term in the two output when users input the premises of a Aristotelian premises) . syllogism.The