合式公式 在形式系統與逻辑中合式公式wellformed formulaWFF又称合適公式良式公式可简称公式formula即符合語法規則的公式是一逻辑体系中的一个表达式或一个有限符号序列此表达式或序列来自给定的字母表字符且属于形式语言的一种合式公式与该逻辑体系的构成规则相符合类似于自然语言中的一个语法句子 若给定一形式文法则WFF是这个文法生成的任何字符串 例如在命题演算中符号序列   α  β     β   α   displaystyle alpha rightarrow beta rightarrow neg beta rightarrow neg alpha  是一个WFF因为它在文法上正确符号序列   α  β    β β   α   displaystyle alpha rightarrow beta rightarrow beta beta alpha  不是WFF因为它不符合命题演算的文法 在形式逻辑中证明是有特定性质的WFF序列而序列中最终的WFF就是要证明的