通用公式

在谓词演算中，通用公式是一种前束范式公式（即，一个公式写成量词和约束变量的字符串，后跟一个无量词部分），其中量化的变量是全称量化的。

每个通用公式在逻辑上等价于某个存在公式的否定（反之亦然）。

当通用公式中没有自由变量（即，当所有变量都被约束）时，它被称为全称语句。