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.
-
Key words:
- many-valued logic /
- logic calculation /
- proposition formula /
- truth value function
-

計量
- 文章訪問數: 204
- HTML全文瀏覽量: 76
- PDF下載量: 4
- 被引次數: 0