合式公式

在形式系統與逻辑中，WFF是合式公式(well-formed formula)的缩写。给定一个形式文法，WFF 是这个文法生成的任何字符串。

例如，在命题演算中符号序列 $((\alpha\rightarrow\beta)\rightarrow(\neg\beta\rightarrow\neg\alpha))$ 是一个 WFF，因为它在文法上正确。符号序列 $((\alpha\rightarrow\beta)\rightarrow(\beta\beta))\alpha))$ 不是 WFF，因为它不符合命题演算的文法。