Classical logic assigns the truth value of propositional variables to binary values,i.e.0 or 1.If the truth value of propositional variables in a propositional formula is assigned within the range of[0,1],it constitutes a fuzzy proposition and thus forms the theory of fuzzy logic.In existing fuzzy logic,fuzzy propositions are not"fuzzy"in form,but only"fuzzy"assignment to propositional varia-bles.Therefore,this fuzzy logic is actually a fuzzy logic of"classical propositional formulas and fuzzy truth assignment".Firstly,the concept of fuzzy proposition in classical propositional logic was intro-duced,which is formally fuzzy,and classical propositions are special cases of fuzzy propositions.Sec-ondly,the truth value of fuzzy propositions was obtained by assigning binary propositional variables.Finally,the truth operation properties of fuzzy propositions were studied.It was found that after in-troducing the new concept of fuzzy propositions in classical logic systems,the formula increased,the truth assignment did not change,and the tautology did not decrease.This study can be regarded as a fuzzy logic of"fuzzy propositions and binary truth assignment".
propositionfuzzy propositionstrue value assignmenttautologyfuzzy logic
NETL
NSTL
万方数据
