951等值式与置换规则 豪 口第一类等值式:命题逻辑的重言式的代 换实例 理由:重言式的代换实例都是永真式 口例 令VXF(X)分--VXF(x) TA今A 令F(x)→G(x)台-F(x)VG(x) A→BAVB 55 ❑第一类等值式：命题逻辑的重言式的代 换实例 ❖理由：重言式的代换实例都是永真式 ❑例 ❖x F(x)    x F(x) ❖F(x) → G(x)   F(x)  G(x) ¬¬AA A→ B  ¬ A  B 5.1 等值式与置换规则