设C(x):x是鸟,G(x):x会飞。命题“所有的鸟都会飞”可以符号化为( )(本题3.5分)
A、 (C(x)→G(x))
B、 (C(x)→G(x))
C、 x (C(x)→G(x))
D、 。 (C(x)→G(x))
出自:辽宁师范大学-离散数学