真值规则(rule of truth)指的是语义系统的基础的其中一个组成部分。真值规则相当于命题演算中的真值赋值的规则。如:(1)原子句的真值规则,由一个n元谓词,后而跟n 个常元得到的表达式。称为原子句。语义系统中由一个元谓词,后面跟n个常元得到的原子句是真的,当且仅当,那个个体常元指称的个体具有那个谓词指称的属性。