单项选择题
A.∀x彐y（x+y=0） B.彐x∀y（x+y=0） C.∀x∀y（x+y=0） D.￢彐x彐y（x+y=0）
A.∀x∀y彐z（B（x，y）→A（z）） B.￢∀x彐yB（x，y） C.彐x∀y∀x（A（x，y）∨B（x，y）） D.∀x（A（x，y）→彐yB（y））
A.彐y（G（y）→∀x（F（x）∧H（x，y））） B.彐y（G（y）∧∀x（F（x）→H（x，y））） C.∀x彐y（G（y）→（F（x）∧H（x，y））） D.彐y（G（y）→∀x（F（x）→H（x，y）））