21等值定理 21.1等值的定义 等值的定义:给定两个命题公式A和B, 而P1P是出现于A和B中的所有命题 变项那么公式A和B共有2个解释,若 对其中的任一解释,公式A和B的真值都 相等,就称A和B是等值的(叵等价的) 记作A=B或A分→B。注意逻辑关系词2.1.1 等值的定义 ⚫等值的定义：给定两个命题公式A和B, 而P1…Pn是出现于A和B中的所有命题 变项, 那么公式A和B共有2n个解释, 若 对其中的任一解释, 公式A和B的真值都 相等, 就称A和B是等值的(或等价的)。 记作A = B或A  B。注意逻辑关系词  2.1 等值定理