设C(x):x是鸟,G(x):x会飞。命题“所有的鸟都会飞”可以符号化为( )(本题1.0分)
A、
B、
C、 x (C(x)→G(x))
D、 。