K-普遍有效

K-普遍有效是數理邏輯用語。狹謂詞邏輯的一個公式A是K-普遍有效的，若且唯若：對任何個體域為K個體域的解釋I，對l中的任何賦值V，都有V滿足A。

其中K為為整數，所謂K個體域是指由K個元素組成的集合。一公式是K 普遍有效的，稱為K-普遍有效公式。普遍有效公式必K一普遍有效，反之並不必然。