摘要
The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.
The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.
基金
This work was supported by the National Natural Science Foundation of China(Grant No．10331010)
