设个体域D={a,b,c}，消去下列各式的量词：x(F(x,y)→yG(y))/ananas/latex/p/952/ananas/latex/p/9815
设个体域D={a,b,c}，消去下列各式的量词：x(F(x,y)→yG(y))/ananas/latex/p/952/ananas/latex/p/9815
1
设个体域D={a,b,c}，消去下列各式的量词：x(F(x,y)→yG(y))/ananas/latex/p/952/ananas/latex/p/9815