从谓词逻辑的观点看传统词项逻辑推理中的空词项

From the View of the Predict Logic to See Empty Lexical Item of Traditional Term Logic Reasoning

传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和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.