命题形式与命题的符号化

命题形式是用符号来表示的，但命题形式是不是就是命题的符号化？传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。数理逻辑的谓词逻辑对非逻辑常项的引入，导致了命题的符号化和命题形式之间的相对分离，使命题形式已不能简单地等同于命题的符号化。命题的符号化可以借助非逻辑常项实现，但纯命题形式不包含非逻辑常项，在纯形式推演中也没有真正意义上的非逻辑常项。

Propositional Form and Symbolization of Proposition

Propositional forms are expressed by symbols, but can propositional forms be equated with symbolization of propositions？ Traditional logic＇s answer to this question seems to be self-evident, but mathematical logic makes this question complicated. Since predicate logic of mathematical logic introduced non-logical constants, symbolization of propositions and propositional forms were relatively separated, so that proposition forms have not simply equated with symbolization of propositions.Symbolization of propositions can be achieved with the aid of logic constants, but pure propositional forms don＇ t contain non-logical constants, and there are not genuine non-logical constants in pure formal deduction.