By means of randomization,the concept of D-randomized truth degree of formulas in two-valued propositional logic is introduced,and it is proved that the set of values of D-randomized truth degree of formulas has no is...By means of randomization,the concept of D-randomized truth degree of formulas in two-valued propositional logic is introduced,and it is proved that the set of values of D-randomized truth degree of formulas has no isolated point in[0,1].The concepts of D-logic pseudo-metric and D-logic metric space are also introduced and it is proved that there is no isolated point in the space.The new built D-randomized concepts are extensions of the corresponding concepts in quantified logic.Moreover,it is proved that the basic logic connectives are continuous operators in D-logic metric space.Lastly,three different types of approximate reasoning patterns are proposed.展开更多
文摘By means of randomization,the concept of D-randomized truth degree of formulas in two-valued propositional logic is introduced,and it is proved that the set of values of D-randomized truth degree of formulas has no isolated point in[0,1].The concepts of D-logic pseudo-metric and D-logic metric space are also introduced and it is proved that there is no isolated point in the space.The new built D-randomized concepts are extensions of the corresponding concepts in quantified logic.Moreover,it is proved that the basic logic connectives are continuous operators in D-logic metric space.Lastly,three different types of approximate reasoning patterns are proposed.
