Problem Of MT In Classical Logical System (?) And Theory Of Truth Degree Of Formulas

The central issue of fuzzy reasoning is questions of FMP and FMT as follows:(Question FMP)(Question FMT)where A,A* are Fuzzy set of X,B,B* are Fuzzy set of Y.About the above two questions, the idea of fuzzy reasoning was made and the well-known method named CRI was introduced by Zadeh in 1973. Although the method is convenient in calculation, it lacks strict theoretical basis. So Professor Wang Guojun proposed the triple I algorithms in 1999, which opened up a way to relate fuzzy reasoning with fuzzy logic in research. Meanwhile, Professor Wang Guojun achieved formalization reasoning mechanisms in classical two-valued logic systems C and multi-valued logic systems C* as well as Lukasiewicz three-valued logic systems by theory of roots. In the present paper, we discuss Question MT in two-valued logic system L by introducing the concept of the greast premise on the basis of the previous study. We mainly study the syntactic theory of Rules GMT and Rules multi-GMT in classical two-valued logic system L, and realize formalization reasoning mechanisms of Question FMT. Finally, we give the relationship between the greast premises and the roots, and we derive the fact that Question MP and Question MT can be converted to each other.Earlier, in 1952, the idea of distinguishing reliabilities of formulas in the propo-sitional logic was proposed by Rosser and Turquette. Later, there were also many scholars argued the way to distinguish reliabilities of formulas from different points of view. On the basis of integrated semantic theory proposed by professor Wang Guojun, some scholars investigated truth degree of formulas in the case of continued...