Respected readers, authors and reviewers, you can add comments to this page on any questions about the contribution, review, editing and publication of this journal. We will give you an answer as soon as possible. Thank you for your support!
LI Jing, YANG Zong-yuan. Application of Wu′s Method in Propositional Calculus(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 80-86.
Citation:
LI Jing, YANG Zong-yuan. Application of Wu′s Method in Propositional Calculus(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 80-86.
LI Jing, YANG Zong-yuan. Application of Wu′s Method in Propositional Calculus(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 80-86.
Citation:
LI Jing, YANG Zong-yuan. Application of Wu′s Method in Propositional Calculus(Chinese)[J]. Journal of East China Normal University (Natural Sciences), 2006, (1): 80-86.
A formal definition of proposition formulae was provided by context-free grammar,and the conversion from proposition formulae to polynomials was solved automatically. Using Wu′s Method, the paper presented another solution to the problem of theorem reasoning. In addition, a method for producing logical deduction was introduced.