| 真值规则 rule of truth 语义系统基础的组成部分。相当于命题演算中的真值赋值规则。如：(1)原子句的真值规则。由一个n元谓词，后面跟n个常元得到的表达式，称为原子句。语义系统中由一个1元谓词后面跟1个常元得到的原子句是真的，当且仅当，那个个体常元指称的个体具有那个谓词指称的属性。(2)析取‘∨’的真值规则：p∨q在语义系统中真，当且仅当，两成分中至少有一在语义系统中真。(3)等值‘↔’的真值规则：p↔q在语义系统中真，当且仅当，或两成分皆真或两成分皆假。对其他联结词，还有相应的规则。 |