经解释后有意义的(有穷的)符号序列，简称公式。形式语言的初始符号可以作各种各样的组合，任何一串有穷长的符号序列叫做一表达式。有的表达式是完全没有意义的。把那些经解释后有意义的表达式挑选出来，这些特别挑选出来的表达式就叫做公式，它们是那些断言某种事实，其中有的是表达逻辑规律的表达式。公式由一组形成规则来定义，或者说是根据形成规则生成的。在谓词逻辑中，没有个体变元在其中自由出现的公式称为闭公式(closed formula)，闭公式也叫做语句。在形式语言中，任给一符号的有穷序列，它是不是(合式)公式能机械地确定。