Graphic deduction based on set (Ⅱ): The graphic argument of J

摘要

Based on basic concept of symbolic logic and set theory, this paper focuses on judgment and attempts to provide a new method for the study of logic. The paper contains two parts. On the basis of Part One, Part Two develops graphic statement form of connectives based on set theory. According to the content of non-modal deductive reasoning in formal logic, it gives weakening theorem, strengthening theorem and a number of typical graphical representation theorem (graphic theorem), where graphic deduction is carried out. Graphic deduction will be beneficial to the research of artificial intelligence, which is closely related to judgment and deduction in logic.