In this paper, proposition polynomial and 0-1 proposition polynomial are advanced. Using them, analysis of propositionfunction is realized.
本文提出了命题多项式，0 - 1命题多项式的概念，应用它们，实现了命题函数的解析化。
2
The function includes three levels: propositionfunction, logic connection function and discourse marking function. Furthermore, the three functions are grammaticalized in sequence.
This article attempted to offer an interpretation of the proposition to analyse why Holmes anti-logic, what he actually against, and advanced his argument on the function and limit of law.