°等值演与置换规则 口各等值式都是用元语言符号书写的,其中A,B,C可以代表任 意的公式,称这样的等值式为等值式模式。 口每个等值式模式都给出了无穷多个同类型的具体的等值式。 例如,在蕴涵等值式A→B台AVB中, 取A=p,B=q时,得等值式p→q分pVq 取A=p∨q∨r,B=p∧q时,得等值式 ( pAvr)→(p∧q)台-(p∨qVr)V(p∧q) 口这些具体的等值式都被称为原来的等值式模式的代入实例。 口由已知的等值式推演出另外一些等值式的过程为等值演算。 口置换规则设Φ(A)是含公式A的命题公式,中(B)是用公式B 置换了Φ(A中所有的A后得到的命题公式,若B→A,则 Φ(B)→Φ(A)。等值演算与置换规则 ❑ 各等值式都是用元语言符号书写的，其中A,B,C可以代表任 意的公式，称这样的等值式为等值式模式。 ❑ 每个等值式模式都给出了无穷多个同类型的具体的等值式。 例如，在蕴涵等值式 A→B┐A∨B 中， 取A=p，B=q时，得等值式 p→q┐p∨q 取A=p∨q∨r，B=p∧q时，得等值式 (p∨q∨r)→(p∧q)  ┐(p∨q∨r)∨(p∧q) ❑ 这些具体的等值式都被称为原来的等值式模式的代入实例。 ❑ 由已知的等值式推演出另外一些等值式的过程为等值演算。 ❑ 置换规则 设Φ(A)是含公式A的命题公式，Φ(B)是用公式B 置换了Φ(A)中所有的A后得到的命题公式，若BA，则 Φ(B)Φ(A)