普遍有效式
指反映谓词逻辑规律的表达式。普遍有效式包括重言式。重言式反映命题逻辑的规律，是一类特殊的普遍有效式。对于重言式，有一能行的真值表方法或范式方法来判定其是否重言式。对于普遍有效式，除了部分情况外，一般地没有一个能行的方法来判定其是否普遍有效式，因为谓词所涉及的个体数目是无穷的。因此，谓词表达式因而整个谓词逻辑的判定问题是不能解决的。和普遍有效式相反的是不可满足式。不可满足式是谓词逻辑中逻辑矛盾的表现。如果A是普遍有效式，则乛A是不可满足式。反之，如果A是不可满足式，则乛A是普遍有效式。如果A是普遍有效式，则A也是可满足式。A是可满足式，是指对A中的谓词变元代以具体的谓词，对命题变元代以一具体命题，对个体变元代以一具体个体，可以使A为真。