c 是个体常量替代了在 Px 中的所有 x 的出现。在真值语义和谓词逻辑的标准语义之间的主要区别是真值语义没有域。只有原子公式和量化公式的真值子句不同于真值语义。在真值语义中原子公式如 Pb 或 Rca 为真，当且仅当 b (的指称物)是谓词 P 的外延的成员，和当且仅当有序对 (c,a) 是 R 的外延的成员；在真值语义中原子公式的真值是基本的。全称(存在)公式为真，当且仅当它的所有(某些)代换实例为真。比较于标准语义，它声称全称(存在)公式为真，当且仅当对于这个域的所有(某些)成员，这个公式对于其中