单项选择题
A.Ⅰ和Ⅱ B.Ⅰ和Ⅲ C.Ⅰ和Ⅳ D.Ⅱ、Ⅲ和Ⅳ
A.∀x∀t∀w((F(x,y)→G(t))→H(w,y)) B.∀x∃t∀w((F(x,y)→G(t))→H(w,y)) C.∀x∃y((F(x,y)→G(y))→H(x,y)) D.∃x∃t∃w((F(x,y)→G(t))→H(w,y))