Formulas in logic are typically built up recursively from some propositional variables, some number of logical connectives, and some logical quantifiers.

• 在逻辑中的公式典型的递归的建造自一些命题变量，一些逻辑连结词，和一些逻辑量词。