This paper mainly discusses the dynamic fuzzy logic(DFL) resolution method, and expends on the theory of matrix resolution method of dynamic fuzzyproposition.
对DFL归结方法作进一步的研究，阐述了DF命题的矩阵归结的理论。
2
This paper gives a detailed study of truth reasoning based on fuzzyproposition, strict statement of truth-value propagation in uncertainty reasoning, defined in , is shown.
不确定推理是知识工程中的重要内容，基于模糊命题的真值推理具有广泛的应用。
3
But fuzzy logic only pay attention to the sequential changeability of fuzzyproposition logic's value, not notice the sequential changeability of fuzzyproposition logic's conjunction operation model.