单项选择题
A.永真的 B.不可满足的 C.可满足的 D.非永真的
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））