公式(通常指一阶逻辑的公式)的一种性质。一阶语言L的一个公式A称为普遍有效的，如果对于L的每一模型，都满足A，即都有A。(参见模型)直观地说，一个公式A是普遍有效的，如果不论对公式A中符号作何种解释，A都为真。例如，公式x(F(x)∨F(x))是普遍有效的，此公式表示，一个事物或者有性质F或者没有性质F，是排中律的一种表达形式。在一定意义上，普遍有效的公式都表达逻辑规律。
，