代换变例 口由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永 真式,因而第二章的16组等值式模式给出的代换实例都是 阶逻辑的等值式的模式。 口例如: (1)VxF(x)分11VxF(x) (双重否定律) (2)F(x)→G(y)分1F(x)∨G(y)(蕴涵等值式) (3)∨x(F(x)→G(y))→彐zH(z) 台→-Vx(F(x)→G(y))∨彐zH(z) (蕴涵等值式)代换实例 ❑ 由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永 真式，因而第二章的16组等值式模式给出的代换实例都是 一阶逻辑的等值式的模式。 ❑ 例如： (1)xF(x)  ┐┐xF(x) （双重否定律） (2)F(x)→G(y)  ┐F(x)∨G(y) （蕴涵等值式） (3)x(F(x)→G(y))→ zH(z)  ┐x(F(x)→G(y))∨zH(z) （蕴涵等值式）