CAJ | 학술논문

传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和9个直言三段论有效式只有预设主项或谓项存在才成立。传统词项逻辑用自然语言进行描述,常常使人们知其然而不知其所以然。如果用谓词逻辑理论将其形式化一步一步地进行演算,人们就会感到豁然开朗。
전통사항라집추리유허다불괄용우공사항,성질명제지간적대당관계화9개직언삼단론유효식지유예설주항혹위항존재재성립。전통사항라집용자연어언진행묘술,상상사인문지기연이불지기소이연。여과용위사라집이론장기형식화일보일보지진행연산,인문취회감도활연개랑。
A lot of traditional term logic reasoning are not suitable for the empty lexical item,the square of opposition and 9 valid syllogism type,only preinstall the subjects or predicates was set up there.Describe the traditional term logic by natural language,it often makes people know the how but not the why.If the theory of predicate logic is used to formalize and calculate it step by step,people will understand its meaning naturally.