The restricted logic equivalence relation in two valued propositional logic and its applications
A kind of logical equivalence decomposition of the formula in is presented and applied to discuss the calculating issues of the truth degree,pseudo metric and similarity degree of the formula.With the introduction of restricted logic equivalence,an equivalence relation is established and applied to obtain the subset's partition of the solution set of logical equation based on the truth degree by the equal 'diameter' method,which provides useful methods for further research of the logical reasoning and grading in two valued propositional logic system.