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

例如，在命题演算中符号串行是一个WFF，因为它在文法上正确。符号串行不是WFF，因为它不符合命题演算的文法。

在形式逻辑中，证明是有特定性质的WFF串行，而串行中最终的WFF就是要证明的。