若F（x）：x是乌鸦，G（x）：x是黑的。那么命题“乌鸦都是黑色的”符号化（ ）

A. "x（F(x)Ù G(x)）
B. $x（F(x)ÙG(x)）
C. "x（F(x)®G(x)）
D. $x（F(x)®G(x)）

设F(x):x是汽车, G(y):y是火车, H(x,y):x比y快。那么命题“所有的汽车都比所有的火车快”符号化（ ）

A. "x"y(F(x)ÙG(y)®H(x,y))
B. "x"y(F(x)ÙG(y)ÙH(x,y))
C. $x$y(F(x)ÙG(y)ÙØH(x,y))
D. $x$y(F(x)ÙG(y)®ØH(x,y))

在公式 $x(F(x,y,z)®"y(G(x,y)ÙH(x,y,z))) 中 x和y分别自由出现 和 次。

公式"xF(x)®($x$yG(x,y)®"xF(x))是永真式。 （ ）

A. 对
B. 错

公式"xF(x,y) ® $yG(y)是一个闭式。 （ ）

A. 对
B. 错