The Variable Truth Degree of Formula in a Propositional Logic with Rhombus Evaluation Lattice

Quantified logic in the many-valued logic system is established by Wang G J, which is based on linear evaluation lattice frame. The variable truth degree is defined in the propositional logic system associated with rhombus evaluation lattice and Gaines-Rescher implication operation, the fundamental nature of the variable truth degree is studied, the distribution of truth degree of formulae and inference rule based on truth degree are obtained, on the basis of which the inference degree's numerical is proved.