Proposition relativity and logic calculation in many-valued logic
-
-
Abstract
Attribute of a proposition includes structure attribute and value attribute.The structure of a proposition determines the truth value of the proposition,the relationship between the propositions,and the logic calculation result.The truth value of the proposition is only a value attribute determined by the structure of a proposition,it cannot stand for the whole proposition.And logic calculation is the calculation between the propositions,not the calculation between the truth values.In the many-valued logic,proposition logic calculation result is decided by the relationship of propositions.The different propositions with the same truth value would not always have the same logic calculation result.Logic calculation is not always homomorphic with a certain operator or a group of operators(the functions of truth value).Sometimes,the truth value of composite proposition cannot be fully determined by the truth values of the member propositions.Therefore,the conjunction of the many-valued logic cannot always be defined by the form of the functions of truth value(operators).The proposition formula in many-valued logic cannot be considered as the function of the truth value.The proposition formula is the function of proposition.
-
-