设C(x):x是鸟,G(x):x会飞。命题“所有的鸟都会飞”可以符号化为( )
·
·
·x (C(x)→G(x))
·。