逻辑中推理的形式（The form of reasoning in logic）.docVIP

逻辑中推理的形式（The form of reasoning in logic） The deformation distribution and reasoning of categorical proposition of lexical entry 1. the distribution of lexical entry Is the main object of the proposition on behalf of truth. The predicate proposition is the lexical entry represents the object has or has no property of the lexical entry. Lexical entry refers to the subject and predicate of categorical proposition. The comprehensiveness of the lexical entry refers to the extension of a predicate or categorical proposition (as the scope of the concept of lexical entry reflects the things the judge object). In a categorical proposition, if it is concluded that all the main extension or predicate, we say that the main predicate is or order; if not all that the main predicate or extension, we say that the main predicate or is not enough. Such as: (1) all goods are valuable (2) all men are not immortal (3) some model workers are fake (4) some leaders are not incorruptible The above (1) main commodity is comprehensive, because all the extension of the commodity the categorical proposition made sure, but the predicate value is not enough, because the categorical proposition does not make sure of all the extension of value . Just saying that commodities are valuable does not mean that all commodities are all valuable. The above (2) and people and the predicate ever-young is comprehensive, not only because the categorical proposition of people of all the extension made and concluded that all of the extension ever-young made sure that all people, not all ever-young. The above (3) main model worker and the predicate fake is not enough, because the categorical proposition neither all the extension of the main model to make sure, did not make the judgement to all the predicate fake extension. The above (4) main leaders is not enough, because not all the categorical proposition extension of the leaders decision, but honest is the predicate order, because the categorical proposition o