well-formed propositional formula

• 命题公式

well-formed propositional formula的用法和样例：

例句

1. Propositional variables are the basic building-blocks of propositional formulas, used in propositional logic and higher logics.
   命题变量是命题公式的基本构件板块，用于命题逻辑和更高的逻辑中。