面定义的前缀表示法。例如，在算术中，一般会写成「2+2=4」，而非「=(+(2,2),4)」。一般会将以中缀表示法表示的公式当做是以前缀表示法表示的对应公式的缩写。上面定义中的二元联结词，如formula_2，是使用中缀表示法。一个较少见的惯例为波兰表示法，它将formula_19、formula_50等放在参数的前面而非之间。这个表示法允许舍弃所有的标点符号。波兰表示法是简洁且优雅的，但因为对人类很难阅读，所以实务上不常使用。使用波兰表示法，公式会变成。
自由变数和约束变数.