Logic: Logic is a theory about the law of thinking. Sometimes logic and logic are two common concepts. The development of logic and logic has gone through two stages: traditional logic (formal logic) and dialectical logic, and dialectical logic has two stages: contradictory logic and symmetrical logic. Symmetric logic is the latest achievement of logic development, the advanced stage of dialectical logic and the highest stage of logic development. The extension of the concept is something with unique attributes reflected by the concept. Syllogism is a deductive reasoning based on two qualitative judgments with the same term (whether axioms are defined, rules or formats). GAI: the judgment itself directly or indirectly determines all the extensions of its subject (or predicate), so the subject (or predicate) of this judgment is GAI's, not GAI's. Inference: the thinking process of drawing unknown conclusions from one or several known judgments (premises). Reasoning is formal logic. It is a science that studies people's thinking forms and their laws and some simple logical methods. Its function is to obtain unknown knowledge from known knowledge, especially unknown knowledge that cannot be mastered through sensory experience. Reasoning mainly includes deductive reasoning and inductive reasoning. Deductive reasoning is based on the general law, using logical proof or mathematical operation, to get the law that special facts should follow, that is, from general to special. Inductive reasoning is to generalize general concepts, principles or conclusions from many individual things, that is, from special to general. These nouns are special nouns in formal logic. If you want to know more, you can buy a book on formal logic.