Constructing the graphical reasoning process for proposition logic
Yi Wang, Han Ding, DongSheng Xiang · 2011
Based on the theory of graphic method, through graphical the proposition formulas and the reasoning rules, this paper constructs the graphical reasoning process for proposition logic. And in the construction of the reasoning process, rules are made a brief description for using and analysis. Then through an example, explains the graphical construction method and process for proposition formulas and reasoning rules.