当个体域S=｛a,b,c｝消去公式 $x F(x) → "y G(y)中量词为

A、(F(a) Ú F(b) Ú F(c))→ (G(a) Ù G(b) Ù G(c));
B、(F(a) Ù F(b) Ù F(c))→ (G(a) Ù G(b) Ù G(c));
C、(F(a) Ú F(b) Ú F(c))→ (G(a) Ú G(b) Ú G(c));
D、(F(a) Ù F(b) Ù F(c))→ (G(a) Ú G(b) Ú G(c))