以下谓词蕴含式正确的是（）。

A. (∀x)A(x)∨(∀x)B(x)=>( ∀x) (A(x)∨B(x))
B. (∃x) (A(x)∧B(x))=>(∃x)A(x)∧(∃x)B(x)
C. (∀x) (A(x)→B(x))=>( ∀x)A(x)→(∀x)B(x)
D. (∀x) (A(x)↔B(x))=>( ∀x)A(x)↔(∀x)B(x)