951等值式与置换规则 豪 口例:设个体域为D=,b,C},将下面公式 的量词消去 1, VX F( v 3y G 台(F(a)∧F(b)∧F(c)v(G(a)vG(b)G(c) 2.( VX F(Xv Go) 丑X→F(x)∧y-G(y) 台(-F(a)y-F(b)=F(c)∧ (-G(a)∧-G(b)∧-G(c) 77 ❑ 例：设个体域为D＝{a, b, c}，将下面公式 的量词消去 1. x F(x)  y G(y) 2. (x F(x)  y G(y))  (F(a)  F(b)  F(c))  (G(a)  G(b)  G(c))  x  F(x)  y  G(y)  ( F(a)   F(b)   F(c))  ( G(a)   G(b)  G(c)) 5.1 等值式与置换规则