【多选题】
设个体域 D={a,b,c}, 消去谓词“xF(x) ?yG(y)”中的量词后的形式,下面不正确的有:
①
(F(a) ùF(b)) ùF(c)) ù (G(a) úG(b) úG(c));
②
(F(a) ùF(b) ùF(c)) ú (G(a) ùG(b) ùG(c))
③
(F(a) ùF(b) ùF(c)) ? (G(a) ùG(b) ùG(c));
④
(F(a) ùF(b) ùF(c)) ù (G(a) ùG(b) ùG(c)).
【多选题】
设个体域 D={a,b,c}, 消去谓词“xy(F(x) úG(y))”中的量词后的形式,下面不正确的有:
①
(F(a) ùF(b)) ùF(c)) ù (G(a) úG(b) úG(c));
②
(F(a) ùF(b) ùF(c)) ú (G(a) ùG(b) ùG(c))
③
(F(a) ùF(b) ùF(c)) ? (G(a) ùG(b) ùG(c));
④
(F(a) ùF(b) ùF(c)) ù (G(a) ùG(b) ùG(c)).