|
Firstly, by defining a new implication operator → T, create a new intuitionistic fuzzy propositional logic system (I 0 2 ,, ∨, → T), to discuss the implication Operators nature of the system I 0 2 on the generalized quasi tautology , it is divided into five different generalized quasi tautology : (2 -1 , 2 -1 ) to be a tautology , (2 -1 , 2 -1 ) - intended tautology , (2 -1 , 0) - intended tautology , (2 -1 , 0) - intended tautology and ( 1,0 ) - intended tautology , the Professor Wang Guojun generalized tautology research results from one dimension to the entire two-dimensional intuitionistic fuzzy propositional algebra . on this basis , through the formula I 0 2 in the part of the assignment , the use of homomorphic transformation φ and symmetric representation method of evaluation sets , respectively, discussed the system I 2n 2 and the system I 2n 1 2 on the generalized quasi tautology between that of Class transadmittance theorem, it and the text Theorem mutually exclusive classes is not the same class , it is in the conditions of Theorem 2.4.3 , only a small set of each class within a class of mutually different ; Meanwhile, in the generalized quasi tautology algorithm is established between an upgrade , get more and more intended tautology really up to , and even draw ( 1,0 ) ? intends tautology . Finally , the use of probabilistic methods defined intuitionistic fuzzy propositional logic system fidelity , research α? truth degrees and α? weight between tautology , also discussed (2 -1 , 2 -1 ) -MP rules , (2 - 1 , 2 -1 ) -HS rules and α? pay inference rules , and to study the true value in [ 0,1 ] the distribution .
|