Probability Truth Degree Of Multi-valued Propositional Logic And Intuitionistic Fuzzy Propositional Logic System

Truth, is a new target of the true degree for weighing a formula. But themethod of portraying precisely logic formula truth first is given in the multi-valuedlogic and not in classics two value proposition logic. So a series of questions cameon. How can we harmoniously fill multi-valued logic system in ture theory? Howdoes the logical formula truth calculate in the multi-valued logic system? How canwe transform it into the truth in the classics two value logical system formulawhen n equals 2? These questions are researched in the article.In this paper, theconcept of formular probabilisticα-true degree was defined in Many-valuedproposition logic with the infinite product of evenly distributed probability spacewhich power was n, and the property of probabilisticα-true degree was disgussed,andα-similar degree and the pseudo-distance was defined with probabilisticα-true degree,and the relation of the two was studied. The theory of true degree oftwo-valued proposition logic by professor Wang Guojun was generalized intoMany-valued proposition logic and that provided another theory frame with themetric for similarity inference, at the same time, probabilisticα-true degree ofintuitionistic fuzzy proposition logic formular was defined and its inference rule wasstudied, and we got similar conclutions with the theory of one dimentional valuationlogic system by Professor Wang Guojun. It showed that the theory of onedimentioned valuation logic system by Professor Wang Guojun could be generalizedinto n-dimentional valuation logic system after we did a lot of work in impicationoperator andα-true degree definition and so on. Obviously, it had actualbackground. So it was necessary and inevitable.